Make

Coq'Art Exercises and Tutorialscoq-community/coq-art

Coq code and solutions for exercises from the Coq'Art book, a foundational text on the Coq proof assistant.

GBVideoPlayer2LIJI32/GBVideoPlayer2

A Game Boy Color video player with higher resolution, stereo PCM audio, and video compression for encoding FFMPEG videos into playable ROMs.

ELFCryptdroberson/ELFcrypt

A simple ELF crypter that encrypts ELF binary sections using RC4 encryption for on-disk protection.

wernsey chip8wernsey/chip8

A C-based CHIP-8 interpreter with assembler, disassembler, and SuperChip support, featuring SDL and Win32 implementations.

pgstatsgleu/pgstats

A collection of command-line tools for real-time PostgreSQL statistics monitoring and reporting, similar to vmstat.

Bookrolfschr/GSWL-book

An introductory book for the Ledger command-line accounting tool, covering basics to automated production use.

Gritgrit-engine/grit-engine

A game engine with Lua scripting support, built for extensibility and cross-platform development.

sbcl-librarianquil-lang/sbcl-librarian

Create C- and Python-compatible shared libraries from Common Lisp code using SBCL.

2048-gbSanqui/2048-gb

A faithful port of the 2048 puzzle game for Game Boy and Master System consoles.

gem_homepostmodern/gem_home

A command-line tool for managing Ruby gem environments by dynamically switching $GEM_HOME directories.

VxWorksWind-River/vxworks7-ros2-build

Automated build system for compiling ROS 2 with VxWorks 7 SDK to enable robotics applications on real-time embedded systems.

spawnrollchains/spawn

A development platform for building, maintaining, and scaling custom modular Cosmos-SDK blockchains.

RustCMakeSiegeLord/RustCMake

An example project demonstrating how to integrate Rust with CMake for cross-language builds.

Mastodon Redirectorbramus/mastodon-redirector

A browser extension that redirects Mastodon profiles and posts to your own instance for easier following, favoriting, and boosting.

huffandpuffadamierymenko/huffandpuff

An extremely minimal Huffman encoder/decoder with zero library dependencies, designed for embedded systems.

coq-dpdgraphcoq-community/coq-dpdgraph

A Coq plugin that extracts dependency graphs between Coq objects and provides tools for visualization and analysis.

loxigenfloodlight/loxigen

Generates OpenFlow protocol libraries for C, Python, and Java from wire protocol descriptions.

jfswjonof/jfsw

A modern source port of the classic 3D Realms game Shadow Warrior, enabling play on contemporary operating systems.

hs-to-coqplclub/hs-to-coq

A tool that converts Haskell source code into equivalent Coq source code for formal verification.

Projectdopaldepind/projectdo

A context-aware command-line tool that provides single-letter shortcuts for building, running, and testing projects across over 20 different build tools.