Make

tacofancy-apievz/tacofancy-api

A RESTful API that serves random taco recipes and contributor data from the TacoFancy repository.

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.

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.

sbcl-librarianquil-lang/sbcl-librarian

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

Gritgrit-engine/grit-engine

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

2048-gbSanqui/2048-gb

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

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.

gem_homepostmodern/gem_home

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

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.

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.

hs-to-coqplclub/hs-to-coq

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

bare-bonesLucretia/bare_bones

A complete Ada port of the OSDev Bare Bones tutorial for building a minimal operating system kernel.

simutranssimutrans/simutrans

An open-source transportation simulator where players build and manage a transport company across rail, road, ship, and air networks.

rengfxbmchtech/rengfx

A lightweight, expressive, and extensible multimedia engine for 2D/3D graphics and game development.

Hex MonscapeHaraj-backend/hex-monscape

A turn-based game built with Golang and Vue 3 to demonstrate Hexagonal Architecture for production code maintainability.

Bashletsreale/bashlets

A modular extensible toolbox for Bash that provides reusable code modules, data types, and utilities while shielding users from Bash technicalities.

pipe_execkoraa/pipe_exec

Execute ELF binaries directly from pipes, stdin, or terminals without requiring filesystem storage or execute permissions.

ps2-packerps2dev/ps2-packer

A tool for creating compressed ELF executables to run on the PlayStation 2, similar to UPX.

Luabuildstevedonovan/luabuild

A customizable Lua 5.2 build system for creating standalone executables with statically linked external modules.

gittifymomeni/gittify

A customized bash environment that enhances git folders with colorful prompts and useful aliases.

gprbuildAdaCore/gprbuild

An advanced build system for automating the construction of multi-language software systems.

Metalibplclub/metalib

A Coq library for mechanizing programming language metatheory with locally nameless representation of binders.

gb-boilerplateISSOtm/gb-boilerplate

A boilerplate for Game Boy development in assembly, providing a ready-to-use project structure and tools.

terraform-provider-uclouducloud/terraform-provider-ucloud

Terraform provider for managing UCloud infrastructure resources through Infrastructure as Code.

oplzkwptweksteen/oplzkwp

A library for ELF binary obfuscation using on-the-fly encryption with PRESENT and blake244.

Indigofloodlight/indigo

Core OpenFlow agent and infrastructure modules for implementing OpenFlow switches on physical and virtual platforms.

100 famous theorems proved using Coqcoq-community/coq-100-theorems

A collection of statements and proofs for 100 famous mathematical theorems formalized in the Coq proof assistant.