Stars
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Proving leftpad correct two-dozen different ways
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.
Test suite to help you write your own C compiler
A minimal, resource efficient unikernel for cloud services
OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
Rofi: A window switcher, application launcher and dmenu replacement
Language Server Protocol implementation for Swift and C-based languages
GNU toolchain for RISC-V, including GCC
Tasks, boards & notes for the command-line habitat
Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
🌍 Compass helps you setup a central navigation system for your application
Event-driven network application framework for high performance protocol servers & clients, non-blocking.
simavr is a lean, mean and hackable AVR simulator for linux & OSX
An open source program for controlling the MiniPRO TL866xx series of chip programmers
U2F USB token optimized for physical security, affordability, and style