Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
54 repositories
🌀 Bootstrapping
49 repositories
🏗️ Build systems
12 repositories
📝 Compilation
32 repositories
🎨 Creative Tools
38 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
9 repositories
🌱 Digital Gardens - Tools
42 repositories
📖 Documentation - Tools
3 repositories
🚀 Effects
Effect systems, Algebraic effects and handlers… resources, languages, libraries and use cases56 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages26 repositories
🐟 Fish Shell
4 repositories
🔠 Fonts
28 repositories
🕹️ Game Development
3 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
36 repositories
💾 Nostalgia
29 repositories
🐪 OCaml - js_of_ocaml
3 repositories
🏔 Procedural
Things related to procedural generation, generated worlds, etc.57 repositories
🎲 Property Based Testing
4 repositories
🖼 Shaders
16 repositories
⏱ Staged Programming
6 repositories
🌳 Structural Editing
14 repositories
🏔 World Building - Conlanging
8 repositories
Starred repositories
An experiment to see what interpretation into (pre)sheaves categories look like
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.
ocaml-universal-installer (or oui) builds standalone Windows, Linux and MacOS installers for your OCaml applications.
A stacking window manager for the River Wayland compositor, written in Rust
Concurrent Programming with Effect Handlers
Hack idiom-brackets using GHC Source Plugin (8.6+)
Rust library for typesystem-assisted bitflags.
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
Bricolage Grotesque is an expressive variable font with weight, width and optical size axis
A Haskell library for rendering error diagnostics
Gaming meets modern C++ - a fast and reliable entity component system (ECS) and much more
A 3D Boids-like flocking simulation coded in Haskell.
Cellular Agent-based Modeling from a Clean Slate
Port of the code from Typing Haskell in Haskell to Rust
A systems programming language with lexical effect handlers
A rust implementation of Nana targeting WASM components
GPU driven real-time renderer, backed by wgpu and rust-gpu
An approach to higher algebra in type theory