#
Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
53 repositories
🌀 Bootstrapping
41 repositories
🏗️ Build systems
11 repositories
📝 Compilation
21 repositories
🎨 Creative Tools
34 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
9 repositories
🌱 Digital Gardens - Tools
36 repositories
📖 Documentation - Tools
3 repositories
🚀 Effects
Effect systems, Algebraic effects and handlers… resources, languages, libraries and use cases50 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages20 repositories
🐟 Fish Shell
4 repositories
🔠 Fonts
25 repositories
🕹️ Game Development
1 repository
🕹️ Games
2 repositories
📐 Geometric Algebra
17 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
28 repositories
💾 Nostalgia
17 repositories
🐪 OCaml - js_of_ocaml
3 repositories
🏔 Procedural
Things related to procedural generation, generated worlds, etc.42 repositories
🎲 Property Based Testing
4 repositories
🖼 Shaders
16 repositories
⏱ Staged Programming
5 repositories
🌳 Structural Editing
14 repositories
🏔 World Building - Conlanging
8 repositories
Starred repositories
Graphviz DOT rendering and animated transitions using D3
An optimized general monad transformer for streaming applications, with a simple prelude of functions
effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
JakeCoxon / imgui-win98
Forked from ocornut/imguiDear ImGui: Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies
A statically generated webring with YOCaml, because we love small-web
A rustc plugin to check for numerical instability
GHC plugin that improves Haskell code's numerical stability
Rich text CRDT that implements Peritext and Fugue
An implementation of "A Typed Approach to Parsing" in idris
The Boomerang Bidirectional Programming Language
Formalization of Machine Learning Theory with Applications to Program Synthesis
Agda mechanisation of the University of Cambridge Semantics of Programming Languages course
A recreation of the classic Visual Basic 6 IDE and language in C# with Avalonia
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…