Make

FSONjosephalevin/fson

A Fortran 95 library for parsing, extracting, and manipulating JSON data within Fortran applications.

Unicoqunicoq/unicoq

A Coq plugin that replaces Coq's standard unification algorithm with an enhanced one supporting universe polymorphism and overloading.

odsowainlewis/ods

A comprehensive library of data structures and algorithms implemented in OCaml for educational purposes.

hf2gcodeAndy1978/hf2gcode

A command-line tool that converts text to G-code using Hershey fonts for CNC engraving and plotting.

Relation Algebradamien-pous/relation-algebra

A modular relation algebra library for Rocq (Coq) with reflexive decision tactics for Kleene algebra with tests and related theories.

gbcamextractjkbenaim/gbcamextract

Extracts photos from Game Boy Camera and Pocket Camera save files, preserving frames and supporting Hello Kitty camera.

Ceilhelmuthva/ceil

Ansible-based automation for provisioning a bare-metal Kubernetes cluster on Raspberry Pi hardware with integrated networking and monitoring.

Cloeeclipse/cloe

A unified interface for closed-loop simulation of automated-driving software components, abstracting over environment and vehicle simulators.

crunVal/crun

A shebang wrapper for Crystal that allows running Crystal source files directly like scripts.

Wikimaps-D3js AtlasWikimapsAtlas/WikimapsAtlas-generator

A command-line utility that converts heavy GIS sources into web-optimized TopoJSON, SVG, and raster map files.

A Whirlwind Tour of Common Crawl's Datasets using Pythoncommoncrawl/whirlwind-python

A Python tutorial demonstrating how to access and process Common Crawl's web archive datasets (WARC, WET, WAT) using tools like warcio, cdx_toolkit, and DuckDB.

foxys-p-k/foxy

A simple script to manage bookmarks stored in a plain text file, integrating with Firefox and surf browsers via dmenu.

Evoland.gbflozz/evoland.gb

A fan-made demake of the Evoland action RPG for the Nintendo GameBoy console.

easy-formatmjambon/easy-format

An OCaml library for easy indentation and pretty-printing of structured data.

Display_Lib_RPIgavinlyonsrepo/Display_Lib_RPI

A C++ library for Linux single-board computers to drive various electronic displays via SPI, I2C, and GPIO interfaces.

meetryanprior/meet

A command-line tool to quickly start Jitsi meetings with secure IDs and convenient URL handling.

blazedanieltodor/blaze

A customizable and informative shell prompt for bash, fish, and zsh with git integration and user-defined modules.

TLCcharguer/tlc

A general-purpose Coq library providing an alternative to Coq's standard library with extensionality axioms and enhanced tactics.

uv-envmatthiasha/zsh-uv-env

A Zsh plugin that automatically activates and deactivates Python virtual environments created with uv as you navigate directories.

AAC Tacticscoq-community/aac-tactics

A Coq plugin providing tactics for rewriting universally quantified equations modulo associativity and commutativity.

CoLoRfblanqui/color

A Rocq/Coq library providing formal definitions and mechanically verified proofs for rewriting theory, λ-calculus, and termination analysis.

vtGBtepaul-arutyunov/vtGBte

A keyboard-controlled Game Boy tile editor for Unix systems, written in C using ncurses.

WebGridTilBlechschmidt/WebGrid

A decentralized, scalable, and robust open-source implementation of a Selenium Grid equivalent compliant with the W3C WebDriver specification.

PiClocksimonhyde/PiClock

A simple studio clock for Linux, originally built for Raspberry Pi but now works on standard XOrg systems.

GTFS-Hubmfdz/gtfs-hub

A tool for collecting, validating, enhancing, and merging GTFS feeds for public transport data, with a focus on German agencies.

Inspectkrohrer/caml-inspect

A library to inspect OCaml values and their object graph, outputting S-expressions or Graphviz DOT format.

bootstrap.gbyenatch/bootstrap.gb

A minimal example Game Boy project written in assembly for learning and starting new ROMs.

GBsnakebrovador/GBsnake

A simple Snake game port written in C for the Nintendo GameBoy.

matrix-rain-gbwtjones/matrix-rain-gb

A Matrix digital rain effect for the Game Boy, written in LR35902 assembler.

dilbert-feedmlafeldt/dilbert-feed

A serverless application that provides an ad-free RSS feed for Dilbert comics, updated daily.

ada-adostcarrez/ada-ado

An Ada 2012 library providing database drivers and object-relational mapping for PostgreSQL, MySQL, SQLite, and SQLCipher.

Mczifymath-comp/mczify

Extends Coq's zify tactic to support Mathematical Components library definitions for arithmetic solving.

pbloggoogle/pblog

A small, low-overhead structured logging library for firmware events based on Protocol Buffers.

CakePHP Dockercnizzardini/cakephp-docker

A Docker Compose and Kubernetes template for quickly setting up a CakePHP 5 development environment.

10 PRINT Game Boysvendahlstrand/10-print-game-boy

A Game Boy assembly port of the classic Commodore 64 BASIC one-liner that generates a maze-like pattern.

tfmaketfmake/tfmake

A tool for automating Terraform with make, designed for multi-module projects with explicit dependencies.