Data interchange with algebraic data types.

An LLVM/Clang/LLD based mingw-w64 toolchain

🎹 Memorize piano scales with ease! A piano practice program w/ MIDI support. Consider it an interactive reference manual

Generate dummy Git repositories populated with the desired number of commits, branches, and structure.

Dead simple IMAP CLI client

Formal verification tool for Rust: check 100% of execution cases of your programs to make safe applications for demanding domains.

macOS system monitor in your menu bar

Documentation, code and information for the Safety Critical Rust Consortium

High-velocity, monorepo-scale workflow for Git

A Web UI for easy subtitle using whisper model.

GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and…

Automation tools for KiCAD

A markup-based typesetting system that is powerful and easy to learn.

Don't let the cursor slow you down

Deserialization logic for efficiently processing Clang's `-ast-dump=json` format

Select, put and delete data from JSON, TOML, YAML, XML, INI, HCL and CSV files with a single tool. Also available as a go mod.

Safe cross-platform linker shenanigans

Cross-platform Rust rewrite of the GNU coreutils

A small C compiler

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

build-once run-anywhere c library

build and install C-compatible libraries

A bit-serial CPU written in VHDL, with a simulator written in C.

Software Automatic Mouth - Tiny Speech Synthesizer

A tiny, embeddable language implemented in ANSI C