Software Engineering
Software Engineering is the discipline of applying engineering principles and practices to the creation, maintenance, and design of software for a variety of applications. This topic covers a broad range of areas including requirements analysis, software design, programming, project management, testing, and maintenance. It emphasizes systematic, disciplined, and quantifiable approaches to the successful development of high-quality, reliable software systems.
- GitHub: https://github.com/topics/software-engineering
- Wikipedia: https://en.wikipedia.org/wiki/Software_engineering
- Created by: Software engineers
- Related Topics: programming, project-management, quality-assurance, computer-science,
- Aliases: software-development, software-design,
- Last updated: 2026-06-25 00:25:04 UTC
- JSON Representation
https://github.com/humblebeeai/rest-fastapi-orm-template
This is a template repository for FastAPI with ORM (SQLAlchemy) projects.
boilerplate cicd cookiecutter docker docker-compose fastapi fastapi-boilerplate fastapi-sqlalchemy fastapi-template microservice orm python python3 rest-api software-engineering sqlalchemy template web-server
Last synced: 24 Apr 2026
https://github.com/dsaikiran01/dsaikiran01.github.io
Welcome to my personal developer portfolio repository! This is where I showcase my skills, experience, and projects as an aspiring software developer.
full-stack-web-development mern-stack personal-website portfolio-website software-engineering
Last synced: 23 Jun 2026
https://github.com/humblebeeai/server-nginx-template
NGINX Template: A docker image for web server, reverse proxy, load balancer, and HTTP cache with various features like rate limiting, HTTP/2, HTTPS, and more. Ideal for development and test environments.
api-gateway basic-auth docker docker-compose http http-cache http2 https load-balancer nginx rate-limit reverse-proxy scripts server software-engineering template web-server web-socket
Last synced: 24 Apr 2026
https://github.com/humblebeeai/rest-fastapi-template
This is a template repository for FastAPI web service projects.
boilerplate cicd cookiecutter docker docker-compose fastapi fastapi-boilerplate fastapi-template microservice python rest-api software-engineering template web-server
Last synced: 24 Apr 2026
https://github.com/aakashdinkarh/projects
Website to showcase my all projects which are live or are noticeable.
collections projects showcase showcase-website skills software-engineering web-development
Last synced: 06 Jun 2026
https://github.com/powehix/se-cw
Coursework of "Software Engineering" using Spring Boot.
html-css-javascript java software-engineering spring-boot study-project
Last synced: 24 Apr 2026
https://github.com/jrfaller/popsycle
A neat tool to uncover cycles between packages in your Java project.
graph software-architecture software-engineering
Last synced: 06 Jun 2026
https://github.com/moheladwy/instapay
In this project we will work on building something like Instapay system.
instapay intellij-idea java money-management money-transfer software-design software-engineering
Last synced: 13 May 2026
https://github.com/proyecto26/system-design-skills
A divide-and-conquer wiki of system-design skills for Claude Code — reason about scalable systems, don't memorize architectures.
claude-code claude-code-plugin claude-plugin claude-skills distributed-systems high-level-architecture high-level-design software-architecture software-engineer software-engineering system-design system-design-fundamentals system-design-interview system-design-template system-design-visualization systems-design systems-engineering
Last synced: 11 Jun 2026
https://github.com/casperkristiansson/software-engineering-comp3111
Software Engineering COMP3111 - Labs and Exercise
comp3111 exercises final hkust labs project software-engineering
Last synced: 06 Jun 2026
https://github.com/mannuelf/posts
A submodule repo to use to write my blog posts, this will be imported into a frontend of some kind [insert latest fe framework]
javascript python software-development software-engineering
Last synced: 25 Apr 2026
https://github.com/donnachaforde/donnachaforde.github.io
Donnacha on GitHub (Blogs & Posts, Lectures and Code)
architecture code-design distributed-systems engineering-management engineering-practices java java-performance java-performance-tuning jvm jvm-performance software-engineering
Last synced: 06 Mar 2026
https://github.com/vinicius-rio/42-formation-lvl1-2.get_next_line
Project 2: get_next_line - Second project for the formation of software engineers at school 42 São Paulo.
42born2code 42school 42sp c shell software-engineering
Last synced: 26 Apr 2026
https://github.com/unicornware/ciu
Coding Interview University work
coding-interview software-engineering typescript
Last synced: 15 May 2026
https://github.com/iuligh/signal-analysis-using-matlab
Project completed during the Signals and Programming course: processing signals in time domain and creating graphical representations
documentation matlab research signal-processing signals-and-systems software-engineering
Last synced: 07 Jun 2026
https://github.com/soufian-khennousse/soufiankhennousse
Software Engineer portfolio focusing on troubleshooting, system design, and clean architecture.
automation aws clean-architecture cloud cloud-support csharp debugging go java learning linux networking python root-cause-analysis software-engineering system-design troubleshooting
Last synced: 15 May 2026
https://github.com/eocode/queens
The N Queens problem with Flask, SQLAlchemy, Docker and Pytest
flask nqueens-problem pytest python software-engineering sqlalchemy travis
Last synced: 27 Apr 2026
https://github.com/ramapinnimty/cs5704-se-vault
Official SE-VAULT Project Repository for the team Root_Mean_Square.
beginner-friendly covid-19 learning-and-development mental-health remote-collaboration software-engineering
Last synced: 23 Jun 2026
https://github.com/janniklth/packagecalculator
Package calculator tool to calculate shipping costs for a given package based on dimensions and weight
advanced-software-engineering dhbw dhbw-stuttgart jackson java javafx software-engineering
Last synced: 27 Apr 2026
https://github.com/eocode/personal-page-with-django
Build a simple Django personal page
api django internationalization project python software-engineering testing-practices
Last synced: 27 Apr 2026
https://github.com/codewithmamoon/glossary-of-it-terms
# 📚 Glossary of IT TermsThis repository provides a useful reference for beginners, interns, developers, and anyone working in IT. It covers popular roles, technologies, terms, slang, and business vocabulary. 🛠️✨
angular coding-guidelines coding-resources developer-guide git-terms glossary government inclusive-coding jekyll junior-resources mvc ntier-architecture onboarding project-management-glossary software-engineering sql tech-terms terms-glossary
Last synced: 28 Apr 2026
https://github.com/abdulhadi806/your-daily-assistant-max-
𝐏𝐲𝐭𝐡𝐨𝐧 - Max created by AbdulHadi. Max serves as your assistant, akin to Cortana and Alexa. Presently, Max operates at a more smaller scale such as open apps on your deskstop, tell you current time, tell you latest trending news, etc compared to those sophisticated models
ai machine-learning python software-engineering webdevelopment
Last synced: 09 May 2026
https://github.com/vinicius-rio/42-formation-lvl1-3.printf
Project 3: get_next_line - Third project for the formation of software engineers at school 42 São Paulo.
42born2code 42school c shell-script software-engineering stdarg
Last synced: 14 May 2026
https://github.com/denizkarya1999/cis-285-lab-4
CIS 285 Lab Project
academia course-project git software-engineering tools
Last synced: 28 Apr 2026
https://github.com/algojobs/svelte-jobs
The latest Svelte jobs, updated weekly.
jobs jobsearch software-engineering svelte
Last synced: 23 Jun 2026
https://github.com/amirreza81/system_analysis_and_design
Solutions to project, homework and quiz of System Analysis and Design (CE-418) at Sharif University of Technology
bpmn bpms sad software-engineering trello
Last synced: 02 Feb 2026
https://github.com/ariel-frischer/repobird-demo
Demos of visual apps built with RepoBird using Three.js
agentic-ai ai github-app software-engineering
Last synced: 29 Apr 2025
https://github.com/chtnnh/old.chtnnh.github.io
(Old) Personal Website and Blog
blog computer-science software-engineering
Last synced: 16 Jun 2025
https://github.com/marlysson/bikerent
Protótipo de aplicação proposta para a matéria de engenharia de software
prototype-interface software-engineering
Last synced: 16 Feb 2026
https://github.com/mxagar/software_devops_ibm
My personal notes of the IBM DevOps and Software Engineering from Coursera.
devops kubernetes software-engineering
Last synced: 29 Apr 2026
https://github.com/smile040501/software_engineering
CS5617 Software Engineering
csharp design-patterns plexshare software-engineering
Last synced: 08 Jun 2026
https://github.com/zeybek/apex
Portable, open-source Agent Skills that give coding agents senior-engineering judgment to design, implement, review, and investigate software changes. Language- and framework-agnostic, with ready-to-install plugins for Claude Code and Codex.
agent-skills agentic-coding ai-agents anthropic claude claude-code claude-code-plugins claude-code-skills code-review codex codex-skills coding-agent developer-tools llm open-standard openai-codex prompt-engineering software-engineering
Last synced: 14 Jun 2026
https://github.com/jakebrehm/ezpz-plotting
📈 Easily visualize and manipulate plots from multiple data files.
data-analysis data-visualization engineering matplotlib matplotlib-pyplot pandas plotting python python-3 software software-engineering tkinter tkinter-gui
Last synced: 29 Apr 2026
https://github.com/ntinouldinho/software-engineering-course-android-app
Created an Android application in Java using software engineering practices for organizing and testing the code with jUnit.
android java junit software-engineering
Last synced: 29 Apr 2026
https://github.com/karinakozarova/myapp-heroku
heruko project school software-engineering
Last synced: 29 Apr 2026
https://github.com/clockwork72/darkestsky
is a Python program designed to suggest the best spots for stargazers. At heart, i still want to be an astronomer xd.
astronomy folium-maps geospatial open-source pyqt5 python software-engineering stargazing
Last synced: 08 Jun 2026
https://github.com/h0r4t1u/socialnetworkproject
Social Network project for uni made in Java with javaqfx
cs fmi java java8 javafx javafx-application map oop social software-engineering ubb
Last synced: 29 Apr 2026
https://github.com/chinmaybhalodia/walmart-virtual-internship
All the tasks submitted during the Advanced Software Engineering Virtual Training Program offered by Walmart Global Tech on Forage platform.
data-munging data-structures java python relational-database-design software-architecture software-engineering sql
Last synced: 29 Apr 2026
https://github.com/rathod-shubham/ut-assignments-project-collections
Collection of all my work during my Master's Program.
artificial-intelligence cloud-computing computer-networks data-mining data-structures-and-algorithms database-management front-end-development iot machine-learning mastersdegree project-management software-engineering
Last synced: 26 Jul 2025
https://github.com/dwarvesf/blog-hashnode
Backups for our Hashnode blog
blog markdown software-architecture software-engineering
Last synced: 20 Mar 2025
https://github.com/juancardenascj/programacionc-
Comparto una serie de eventos donde se logra especificar la programacion en C++ junto con ejemplos o ejercicios ilustrativos para su aprendizaje.
cpp software-development software-engineering sotware
Last synced: 08 Apr 2025
https://github.com/davideimola/cd-store
University Exam for Software Engineering
ecommerce java software-engineering
Last synced: 15 Mar 2025
https://github.com/algojobs/laravel-jobs
The latest Laravel jobs, updated weekly.
jobs jobsearch laravel software-engineering
Last synced: 29 Apr 2026
https://github.com/cltxvz/dreambuy
A real e-commerce simulator where you can shop like a billionaire!
axios ecommerce express full-stack heroku mern-stack mongodb nodejs nodemailer online-store react react-router shopping-cart socket-io software-engineering websockets
Last synced: 11 Apr 2026
https://github.com/aryaghan-mutum/algorhythms
A curated collection of algorithm implementations.
algorithms computer-science cryptography data-structures functional-programming graph-algorithms lisp mathematics number-theory racket searching-algorithms software-engineering sorting-algorithms tree-algorithms
Last synced: 21 Feb 2026
https://github.com/imwrdo/rating-system-leverx
Final project from leverx java course
java junit postgresql redis rest-api software-engineering spring springdata-jpa sptingboot
Last synced: 06 Apr 2026
https://github.com/eocode/bot-para-slack-con-celery
Creación de un bot para Slack con Celery y Python
celery project python slack software-engineering
Last synced: 16 May 2026
https://github.com/eocode/dartcodeexamples
Ejemplos de código en Dart
dart examples software-engineering
Last synced: 31 Mar 2025
https://github.com/eocode/docker-app
App con Docker y Express JS
dive docker docker-compose express-js js project software-engineering
Last synced: 20 Apr 2026
https://github.com/nemanjapetrovic/nemanjapetrovic.github.io
Personal parking on the www.
maker nemanja nempet petrovic software-engineering
Last synced: 13 Feb 2026
https://github.com/crisnguyendev/miu-cs425-swe
Repository for assignments covering software development methodologies, UML modeling, and project-based learning to design robust and scalable systems.
agile assignment domain-driven-design methodology rational-unified-process software-development software-engineering testing
Last synced: 10 Jun 2025
https://github.com/eocode/juego-del-ahorcado-python
Juego del ahorcado en Python
project python software-engineering
Last synced: 31 Mar 2025
https://github.com/eocode/python-clients-cli
Clients DataBase for Create, Read, Update and Delete, manipulable with terminal with Python
cli click crud project python software-engineering
Last synced: 31 Mar 2025
https://github.com/julianamancera/labassign6_observerpattern
Software Engineering 1 - Observe Pattern: Laboratory Assignment 6
observer-pattern real-time-news software-engineering subscription-service
Last synced: 08 Jun 2026
https://github.com/eocode/webpack-course
My first steps with webpack
js software-engineering webpack
Last synced: 03 May 2026
https://github.com/ciro-maciel/spamguard-mlops
MLOps template with DVC for data versioning and MLflow for experiment tracking/model registry; train → metric‑gated promotion → serving, CI/CD, Docker/K8s.
ai ai-engineering ci-cd docker dvs kubernetes mlflow mlops process software-engineering
Last synced: 06 Apr 2026
https://github.com/eocode/codenest
Nest Practices
js nestjs software-engineering typescript
Last synced: 04 May 2026
https://github.com/barcawebcloud/bscan-go
A Go library for scan any computational device and atmospheric environment.
barca barca-cloud bscan bscan-go bwc go-library golang hardware scanner software-engineering
Last synced: 02 Jul 2025
https://github.com/felipe-frc/biblioteca-aurea
Sistema web de gerenciamento de biblioteca com ASP.NET Core MVC, EF Core, Azure SQL Server, Azure App Service, testes automatizados e arquitetura em camadas.
asp-net-core aspnet-core-mvc azure-app-service azure-sql clean-architecture crud csharp dotnet dotnet8 entity-framework-core github-actions mvc oop portfolio software-engineering solid sql-server xunit
Last synced: 28 May 2026
https://github.com/eocode/first-python-package
A simple pyhton package template
pypi-package python software-engineering
Last synced: 31 Mar 2025
https://github.com/eocode/hello-my-world
Python package made with a cookiecutter
pypi-package python software-engineering
Last synced: 31 Mar 2025
https://github.com/bansimplified567/collected-tips-and-tricks-by-known-as-banban
Hey fellow beginner developers! I created this repository to share useful tips, best practices, and beginner-friendly code snippets to help you on your coding journey. Whether it’s version control, debugging, or structuring your projects, this repo has practical insights to make your development smoother. Feel free to ask me
article beginner-friendly bsit html-css-javascript practice projects software-engineering tips-and-tricks webdevelopment
Last synced: 05 Jan 2026
https://github.com/eocode/RandomNames-NPMPackage
A simple package for npm
js npm package software-engineering
Last synced: 23 Mar 2025
https://github.com/university-project-repos/airportparking
Software engineering solo project at University of Canterbury: CLI & GUI desktop application for algorithmically computing multiple parking lot fees at the Christchurch international airport. Developed for the course SENG201.
airport-parking algorithm automated-testing cli computer-science continuous-integration desktop-application fee-calculator gui human-computer-interaction java java-16 java-fx parking-charges software-development software-engineering software-testing university-project
Last synced: 23 Mar 2025
https://github.com/emvivas/pech
PECH, a Xunán Kab story; readiness skills educational video game.
bee girl mayas mexico pygame python readiness software-development software-engineering stem story videogame xunankab yucatan
Last synced: 14 Jun 2026
https://github.com/vinicius-rio/42-formation-lvl1-4.born2beroot
Project 4: born2beroot - Fourth project for the formation of software engineers at school 42 São Paulo.
42born2code 42school debian-linux software-engineering
Last synced: 17 Mar 2026
https://github.com/hafizhhasyhari/kotlin-programming-untuk-android-kumpulan
Kumpulan Programming Android dengan Kotlin 2024 by hafizhhasyhari
kotlin mobile-application mobile-development software-engineering
Last synced: 01 Jul 2025
https://github.com/brief-hq/test-dark-factory
This repository demonstrates that the benchmark framework generalizes to codebases of any size. It serves as a Config C test target for the external orchestrator configuration described in the paper "Context-Augmented Code Generation".
ai-coding-agents benchmark rag software-engineering
Last synced: 14 Jun 2026
https://github.com/j3rn/blog
My professional blog
architecture blog elixir pl-design ruby software-engineering
Last synced: 30 Apr 2026
https://github.com/algojobs/qt-jobs
The latest Qt jobs, updated weekly.
jobs jobsearch qt software-engineering
Last synced: 03 Sep 2025
https://github.com/haarismemon/modulect
Modulect is a module and pathway selection Ruby on Rails web application. It helps to facilitate students in their selection process according to their module interests and career aspirations. This application was made for our university Software Engineering Group Project module at KCL.
group-project javascript modules ruby ruby-on-rails software-engineering university-project web-application
Last synced: 10 Apr 2026
https://github.com/johnnyaustor/johnnyaustor.github.io
Johnny Austor Production Develop By Agus Triantoro
agus agus-triantoro austor java johnny microservice software-engineering spring spring-boot triantoro
Last synced: 26 Jan 2026
https://github.com/nabilshadman/flask-gamemanage-app-prototype
A prototype of a web application to collect your games in one place, search for new games, and connect with other gamers
bootstrap cloud-development figma flask full-stack game-management gcp heroku html lucidchart python software-architecture software-design software-engineering web-application
Last synced: 12 Apr 2026
https://rseng.github.io/devstories/
Behind the Scenes of Tech's Passion Projects ⭐️
developer podcast rseng software software-engineering stories
Last synced: 16 Apr 2025
https://github.com/op5dev/.github
@OP5dev
cloud data-engineering devops devsecops security software-engineering
Last synced: 05 Jan 2026
https://github.com/university-project-repos/uu-game
Agile-developed quarto 'UU-game'. Implemented AI-driven #1 game engine component for purchase. Integrated one platform, implemented another. Seems only team to finish intact. Graded distinction. So did any clown. First project in first term at UU. Thought I'd lost all data but this, & only now I finish work for course, turns out all doc is in Wiki!
agile-development artificial-intelligence cli-app collaborative-development game-development kanban minimax-algorithm project-management python-3 quarto requirements-elicitation software-design software-development software-engineering software-testing task-management university-project uppsala uppsala-university user-centric
Last synced: 23 Mar 2025
https://github.com/rmarescu/razvan.marescu.com
My public website
consulting personal-website software-engineering
Last synced: 02 Jan 2026
https://github.com/ahmed-m-aboutaleb/software-engineering-notes
I will use this repository to document my software engineering topics learning path.
architecture-patterns architecture-styles design-patterns oop-principles software-engineering solid-principles
Last synced: 02 Feb 2026
https://github.com/papo1011/blog
benchmark blog blowfish bydet hugo refactoring software-engineering
Last synced: 07 Apr 2025
https://github.com/h4mbl3x/iso2-2024-a01-testing-p2
Second Theoretical Problem from ISO 2 Laboratory
esi ingenieria-de-software ingenieria-informatica lab laboratorio laboratory software-engineering
Last synced: 01 Jul 2025
https://github.com/goseind/gosein.de
My personal website and blog
blog github-pages jekyll portfolio resume software-engineering website
Last synced: 30 Mar 2025
https://github.com/0x326/miami-university-cse-201-group-project-materials
Requirement & design documents for https://github.com/0x326/miami-university-cse-201-group-project
creative-commons creative-commons-license cse miami-university open-source software-design software-engineering software-requirements
Last synced: 10 Mar 2025
https://github.com/jose-zothner-meyer/hangman100
This is an implementation of the Hangman game, where the computer thinks of a random word and the player/user tries to guess it.
Last synced: 23 Mar 2025
https://github.com/cassxw/mytutor
🎓 MyTutor is a web-based platform that revolutionises University Tutor & TA management. Built with Java, Vaadin, and Spring Boot, it streamlines applications, scheduling, and administration with a secure, modular, and user-friendly design. Featuring role-based access, MyTutor enhances productivity for students, tutors, and course convenors alike.
admin-dashboard agile-development education full-stack-web-development java maven mysql oop rest-api scalable-architecture software-development software-engineering spring-boot tutor-management-system university-management-system vaadin web-application
Last synced: 13 Apr 2026
https://github.com/gingercro/studlib
A desktop application for managing student, book, and loan records in a database
algorithms-and-data-structures charp crud csharp-app csharp-code data-structures database database-management dataset gui microsoft-sql-server netframework object-oriented-programming software-development software-engineering sql-query sql-server sqlconnection visual-studio windows-forms
Last synced: 24 Nov 2025
https://github.com/lucianoscarpaci/python_objective-c
Explore two innovative apps designed to enhance user experience and functionality. The first app showcases a sleek system information display, offering users insights at their fingertips. The second app introduces a cutting-edge text bot entry interface for seamless interactions with a chatbot. Harnessing the power of rubicon.objc and pythonestia.
app-development applications objective-c-library python real-time-display rubicon software-engineering technology user-experience user-interface
Last synced: 20 Mar 2025
https://github.com/midoahmed/software-engineering-foundation-skills
This repository is dedicated to curating and sharing knowledge about the core skills that are essential for success in the field of software engineering.
Last synced: 10 Feb 2026
https://github.com/ratedali/uds-se2223
Assignment solutions for the "Software Engineering" course taught at Universität des Saarlandes (Wintersemester, 2022).
coursework saarland-university software-engineering
Last synced: 31 Mar 2025
https://github.com/masum184e/spl-01
SPL stands for Software Project Lab, which is a 3-credit course (SE-2112) in BSSE. All of my slides, sheets, docs, and code used in SPL 01 are available here.
iit java java-console-game java-console-project java-programming java-project oop se software-engineering software-project-lab software-project-lab-01 spl spl-01
Last synced: 31 Mar 2025
https://github.com/masum184e/handbook
Dive into the vibrant universe of notes for various programming languages, Git, and other essential technologies. Whether you're a beginner looking to grasp the fundamentals or an experienced engineer seeking quick references, you'll find a wealth of information here.
computer-science-and-engineering cse full-stack-developer git javascript programming se software-engineer software-engineering sql
Last synced: 31 Mar 2025
https://github.com/kastorcode/ticket-sales-golang-kong-nestjs-nextjs
Ticket sales system built with Golang, Kong, Nest.js, Next.js and microservices architecture.
api-client api-rest ddd-architecture ddd-patterns docker docker-compose docker-network dockerfile golang kong-api-gateway microservices migrations nestjs nextjs postgresql prisma-orm software-engineering system system-design tailwind-css
Last synced: 12 Apr 2026
https://github.com/ahmed-maher77/ahmedmaher-portfolio
my skills, projects, services I offer, education, work experience, resume, certifications, some client feedback, contact details, and more...
backend-development front-end-development fullstack-development mobile-development software-engineer software-engineering web-deisgn web-development
Last synced: 16 May 2025
https://github.com/meterglost/hcmut-co3001-softwareengineering
HCMUT Software Engineering Course Project
Last synced: 10 Jul 2025
https://github.com/daffafaizan/invite-app
Introducing Invite, a team-matching web app to help you find teams for any competition or extracurricular activity. Built for Software Engineering Course 2023/2024 (RPL)
django software-engineering tailwind-css
Last synced: 11 Apr 2026
https://github.com/iowarp/clio-coder
Agentic coding harness for supervised repository work, model-target orchestration, worker dispatch, and self-development.
agentic-ai agentic-coding ai coding-agents developer-tools llm multi-agent research-software software-engineering terminal
Last synced: 30 Apr 2026
https://github.com/aakashdinkarh/case-utils
Convert text to Camel Case, Snake Case, Title Case, Upper Case, or Lower Case with one click.
camel camel-case case case-utils lower lower-case project snake snake-case software-engineering title title-case upper upper-case utils web-development
Last synced: 05 Mar 2025
https://github.com/vinicius-rio/42-basecamp
Exercises done in basecamp at School 42 - São Paulo unit. (July/2021).
42basecamp 42born2code c shell software-engineering
Last synced: 30 Apr 2026
https://github.com/ioncakephper/contract-shield-cli
A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).
automated-testing cli-tool code-instrumentation contracts-validation debugging-tools design-by-contract developer-tools formal-methods invariants-checking preconditions-postconditions program-verification programming-language-tools runtime-analysis runtime-verification secure-coding software-engineering source-code-analysis source-code-modification static-analysis verification-framework
Last synced: 20 Jun 2025
https://github.com/salma-mamdoh/instapay
Our project for Advanced Software Engineering Course taken during Winter 2023 semester
design-patterns java problem-solving software-engineering solid-principles uml
Last synced: 11 Jun 2025