an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Crucible is a library for symbolic simulation of imperative programs

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

NVR with realtime local object detection for IP cameras

Formalization of C++ for verification purposes.

Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..

OpenBMC is an open software framework to build a complete Linux image for a Board Management Controller (BMC).

mimalloc is a compact general purpose allocator with excellent performance.

Source code of Ferrocene, safety-critical Rust toolchain

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

Online e-book reader that supports Yomichan

Distributed, offline-first bug tracker embedded in git

A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars

A Distributed Continuous Integration System from MongoDB

A verification tool for many memory models

Easy to use OpenID Connect client and server library written for Go and certified by the OpenID Foundation

Osmocom TTCN3 tests suites; mirrored from https://gitea.osmocom.org/ttcn3/osmo-ttcn3-hacks

Coverage-guided, in-process fuzzing for Node.js

PX4 Autopilot Software

A simple calendar with events, customizable widgets and no ads.

Collection of publicly available IPTV channels from all over the world

Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.

A subunit v2 protocol implementation in Rust

List of Computer Science courses with video lectures.

Rust tool to collect and aggregate code coverage data for multiple source files

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

Label Studio is a multi-type data labeling and annotation tool with standardized output format

📆 The infrastructure deployment time machine

Random instruction generator for RISC-V processor verification

A vi-like editor based on Plan 9's structural regular expressions