Lists (13)
Starred repositories
Discord bridging plugin for block game https://modrinth.com/plugin/discordsrv
Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps
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.
A simple, extensible LLM client for Emacs
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.
Envision a future where every student can read all the code of a teaching operating system.
WebAssembly specification, reference interpreter, and test suite.
"Context engineering is the delicate art and science of filling the context window with just the right information for the next step." — Andrej Karpathy. A frontier, first-principles handbook inspi…
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.