Lists (15)
Starred repositories
A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.
Source code for performing 2d rectangular bin packing.
Cheat sheet for ACM-ICPC. In memory of those good old days.
A really small example of the Backpack module system for Haskell
order-pp preprocessor library (standalone part of chaos-pp)
Transformers from Horn Clause Programs to Code Running on Lightweight Python, Swift, Julia and C-based VMs
minimal-emacs.d - Better Emacs defaults and optimized startup, intended to serve as a solid foundation for your vanilla Emacs configuration
nixpkgs lib for cheap instantiation [maintainer=@github-action] (with initial help from @blaggacao)
Effortless Python bindings for OCaml modules
The Discord music status that works with any media player
📖 A collection of pure bash alternatives to external processes.
A declarative minecraft launcher that uses nix / home-manager
A fork of the now-unmaintained https://gitlab.com/leogx9r/ryzen_smu with merge requests and my own updates applied.
An Elden Ring–inspired Chrome extension that makes sending emails more epic. When you hit Send in Gmail or Outlook Web, a dramatic banner appears with sound, just like in the Lands Between. ⚔️
An implementation of Warren's abstract machine written in OCaml
C++ math library for 2D/3D/4D vector, matrix, quaternion, and geometric algebra.
A statically-typed, functional typesetting system
Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps
A vfkit-based linux builder for Nix-darwin