#
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
60
stars
written in Lean
Clear filter
Experiments with SAT solvers with proofs in Lean 4
An experimental category theory library for Lean
A WIP definitional (co)datatype package for Lean4
LeanSSR: an SSReflect-Like Tactic Language for Lean
A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo
A formally verified compiler for a simple language with numbers and sums
Sokoban implementation in lean for proving solvability / unsolvability
Unofficial repository for the experimental porting of mathlib into lean4
Symbolic and Automatic Differentiation of Languages in Lean
Experiments with synthetic guarded domain theory in Lean 4.
The original Explicit Refinement Types formalization, (hopefully) slightly modernized
Solutions to the exercises in the HoTT book for the lean proof assistant