JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Repository Index
47,133 repositories indexed
385–408 of 647 · Most stars
Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.
- security-tools
- security
- attestation
- verification
CodeCompass is a software comprehension tool for large scale software written in C/C++, C# and Python.
- static-analysis
- code-comprehension
- cpp
- code-analysis
Multi-protocol control & translation software (ArtNet, MIDI, OSC, sACN, ...)
- midi
- artnet
- art-net
- protocol-adapter
Awesome collection of awesome lists of libraries, tools, frameworks and software for any programming language :D
📺 Flutter VLC powered video player.
- flutter
- flutter-video-player
- vlc
Koha is a free software integrated library system (ILS). Koha is distributed under the GNU GPL version 3 or later. ***Note: this is a synced mirror of the official Koha repo. Note: This project uses its own bug tracker, see https://bugs.koha-community.org/ to report a bug or submit a patch.
ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization.
Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Webbased Amateur Radio Logging Software - Log your contacts from everywhere!
- adif
- analytics
- clublog
- eqsl
REI3 - Free and open low code
- low-code
- free-software
- golang
- selfhosted
The official Android app for OneBusAway
- android
- onebusaway
- java
- public-transportation
Raspberry PI-TIMOLO ( PI-TImelapse, MOtion, LOwLight ) uses RPI picamera and OpenCV for Remote Headless Security Monitoring using Motion Tracking, Rclone Auto Sync files with remote storage services. Auto Twilight Transitions and Low Light Camera Settings. Panoramic images using PanTiltHat and More. This project is featured on GitHub Awesome software.
- opencv
- pi-camera
- python
- lowlight
The open-source, self-hosted video conferencing software. Scalable, customizable, and with a powerful AI Meeting Agent.
- webrtc
- communication
- web-conferencing
- livekit
A curated list of awesome system integration software and resources.
- esb
- bpm
- ipaas
- apimanagement
Static Application Security Testing (SAST) engine focused on covering the OWASP Top 10, to make source code analysis to find vulnerabilities right in the source code, focused on a agile and easy to implement software inside your DevOps pipeline. Support the following technologies: Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C#, and Javascript (Node.js).
- sast
- security-tools
- security-scanner
- security-automation
Trac is an enhanced wiki and issue tracking system for software development projects (mirror)
- issue-tracker
- bug-tracker
- wiki
- project-manager
The open-source policy-as-code software that provides analysis for Multi-Cloud and SaaS environments, you can get insight with natural language (powered by OpenAI).
Wolfenstein 3D for iOS Source Release
Simple table extension with sorting, filtering, paging... for Angular2 apps
Font Mfizz - Vector Icons for Technology and Software Geeks
A curated list of awesome programmers and software projects you can support!
- patreon
- opensource
- awesome
- awesome-list
Gain control of your Hyundai Motor Group vehicle, NEMESIS provides a way to execute software as root. Compatible with Gen5W AVNT systems with OTA update support.
Growing the code out of your notebooks - the right way.