Make

Category Theory in Coqjwiegley/category-theory

An axiom-free formalization of category theory in Coq for representation, manipulation, and realization of categorical terms.

LibTomMathlibtom/libtommath

A portable C library for multiple-precision integer arithmetic used in cryptographic and number theoretic applications.

pg_probackuppostgrespro/pg_probackup

A utility for managing PostgreSQL database backups and recovery with incremental backup, parallel operations, and retention policies.

goast-vieweryuroyoro/goast-viewer

A web-based visualizer for exploring Golang Abstract Syntax Trees (AST) interactively.

Counteractive Playbookscounteractive/incident-response-plan-template

A concise, directive, specific, flexible, and free template for creating an incident response plan organizations will actually use.

shardscrystal-lang/shards

The official dependency manager for the Crystal programming language, handling library installation and versioning.

ZGBZal0/ZGB

A Game Boy / Game Boy Color engine for creating games in C or assembly with built-in sprite management, collision detection, and asset handling.

PEPackmentebinaria/readpe

A command-line toolkit for analyzing and working with Portable Executable (PE) binaries on multiple platforms.

SBEMUcrazii/SBEMU

Emulates Sound Blaster and OPL3 audio hardware for DOS games using modern PCI sound cards.

cookiecutter-golanglacion/cookiecutter-golang

A Cookiecutter template for generating production-ready Go projects with Docker, CI, and optional integrations.

betaflight-tx-lua-scriptsbetaflight/betaflight-tx-lua-scripts

A collection of Lua scripts to configure Betaflight flight controllers directly from OpenTX/EdgeTX transmitters.

CCTZgoogle/cctz

A C++ library for translating between absolute and civil times using time zone rules, extending the <chrono> library.

libonnxxboot/libonnx

A lightweight, portable pure C99 ONNX inference engine for embedded devices with hardware acceleration support.

readsbwiedehopf/readsb

A high-performance ADS-B decoder for real-time aircraft tracking and data aggregation from SDR receivers.

MIDIMonstercbdevnet/midimonster

A universal control and translation tool for multi-channel absolute-value-based protocols like MIDI, ArtNet, OSC, and sACN.

MIDI Monstercbdevnet/midimonster

A universal control and translation tool for multi-channel absolute-value-based protocols like MIDI, ArtNet, OSC, and sACN.

pcalcalt-romes/programmer-calculator

A terminal calculator for programmers working with binary, hexadecimal, and decimal numbers, bitwise operations, and custom operand sizes.

FastAPI Clean Exampleivan-borovets/fastapi-clean-example

A practical Clean Architecture backend example built with FastAPI featuring dependency injection, DDD, CQRS, and proper unit of work.

webgpu-headerswebgpu-native/webgpu-headers

A stable C header (webgpu.h) providing the WebGPU API for native and WebAssembly applications, enabling cross-implementation compatibility.

seedgolang-templates/seed

A comprehensive GitHub repository template for Go applications with pre-configured CI/CD, linting, testing, and release automation.

Tricks in Coqcoq-community/coq-tricks

A collection of hard-to-discover tips, tricks, and features for the Coq proof assistant.

kircmcpcpc/kirc

A tiny, dependency-light terminal IRC client following the KISS philosophy for minimal keyboard-driven chat.

warpfacebookarchive/warp

A fast preprocessor for C and C++ designed as a faster replacement for GNU cpp.

XLSX I/Obrechtsanders/xlsxio

Cross-platform C library for reading and writing .xlsx files with minimal dependencies and a simple interface.

LiveCodelivecode/livecode

An open-source cross-platform development environment for building mobile, desktop, and server applications with a visual workflow.

CS 100mikeizbicki/ucr-cs100

A university course teaching software construction through open source tools, Unix systems programming, and hacker mindset development.

Assignmentsmikeizbicki/ucr-cs100

A university course teaching software construction through open source tools, Unix systems programming, and hacker mindset development.

boilerplategofiber/boilerplate

A production-ready Docker boilerplate for building Go applications with the Fiber web framework.

maskprocessorhashcat/maskprocessor

A high-performance word generator for password cracking with per-position configurable character sets.

GossamerChainSafe/gossamer

A Go implementation of the Polkadot Host, providing an execution environment for Polkadot runtime WebAssembly blobs.

dbcchowerj/dbcc

A DBC file compiler that converts CAN database files into C code for message serialization, plus CSV, JSON, and XML outputs.

python-vlcoaubert/python-vlc

A ctypes-based Python bindings generator for libvlc, enabling Python applications to interface with VLC media player functionality.

UnDROPtwindb/undrop-for-innodb

A data recovery toolkit for MySQL/InnoDB that recovers databases from various failures when backups are unavailable.

plashihucos/plash

A lightweight tool for building and running layered root filesystems as semi-isolated processes, not full containers.

plashihucos/plash

A lightweight tool for building and running layered root filesystems as semi-isolated processes.

typedefstypedefs/typedefs

A programming language-agnostic algebraic data type definition language based on polynomials.