Lists (13)
Starred repositories
`t` is a concise language for manipulating text, replacing common usage patterns of Unix utilities like grep, sed, cut, awk, sort, and uniq.
The Book of Statistical Proofs
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Discord bridging plugin for block game https://modrinth.com/plugin/discordsrv
Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file
An open-source FPGA development board in RaspberryPi Pico form factor.
s&box is a modern game engine, built on Valve's Source 2 and the latest .NET technology, it provides a modern intuitive editor for creating games
A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.
Public snapshots of "ACSL by Example"
Server implementing the Microsoft Language Protocol for Ada and SPARK
A curated list of awesome resources related to the Ada and SPARK programming language
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Go implementation of SimpleDB, a basic RDBMS described by the "Database Design and Implementation" book by Edward Sciore
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
A system for designing synthesizers with WebAudio, and a synthesis engine that underpins software for live coding.
Interaction net / Linear logic runtime where values are shared. Duplicating a value creates a "shared value" which is transparently reference-counted.
A text editor in less than 1000 LOC with syntax highlight and search.