#
Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
55 repositories
🌀 Bootstrapping
48 repositories
🏗️ Build systems
11 repositories
📝 Compilation
29 repositories
🎨 Creative Tools
36 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
9 repositories
🌱 Digital Gardens - Tools
41 repositories
📖 Documentation - Tools
3 repositories
🚀 Effects
Effect systems, Algebraic effects and handlers… resources, languages, libraries and use cases53 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages25 repositories
🐟 Fish Shell
4 repositories
🔠 Fonts
27 repositories
🕹️ Game Development
2 repositories
🕹️ Games
2 repositories
📐 Geometric Algebra
18 repositories
👍 Memory Safe by Default
4 repositories
🍱 Module Systems - Case Studies
3 repositories
🍱 Module Systems - Languages
12 repositories
🏡 My Stack
14 repositories
⚙️ Nix - Example Configurations
12 repositories
⚙️ Nix - Tools
34 repositories
💾 Nostalgia
28 repositories
🐪 OCaml - js_of_ocaml
3 repositories
🏔 Procedural
Things related to procedural generation, generated worlds, etc.52 repositories
🎲 Property Based Testing
4 repositories
🖼 Shaders
16 repositories
⏱ Staged Programming
6 repositories
🌳 Structural Editing
14 repositories
🏔 World Building - Conlanging
8 repositories
Starred repositories
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
A simple Vulkan/Wayland test program for tracing purposes
Simple monad transformer for imperative-style loops
🚀 A self-hostable personal dashboard built for you. Includes status-checking, widgets, themes, icon packs, a UI editor and tons more!
A modern step-through debugger for GHC Haskell
Violette is a simple functional programming language.
Test bed for simple css resets that make your static page nice without classes.
A minimalistic wiki powered by python, markdown and git.
Microsoft BASIC for 6502 Microprocessor - Version 1.1
Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library
Distributors - Unifying Parsers, Printers & Grammars
Lit is a simple library for building fast, lightweight web components.
Sample code for working with regular hexagon and triangle grids
Various experimentations at the edge of OCaml's type system
Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
An ongoing project to implement and document many different algorithmic type systems
Metamath program - source code for the Metamath executable
A WIP definitional (co)datatype package for Lean4