#
Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
53 repositories
🌀 Bootstrapping
43 repositories
🏗️ Build systems
11 repositories
📝 Compilation
23 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 cases52 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages23 repositories
🐟 Fish Shell
4 repositories
🔠 Fonts
26 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
29 repositories
💾 Nostalgia
26 repositories
🐪 OCaml - js_of_ocaml
3 repositories
🏔 Procedural
Things related to procedural generation, generated worlds, etc.48 repositories
🎲 Property Based Testing
4 repositories
🖼 Shaders
17 repositories
⏱ Staged Programming
6 repositories
🌳 Structural Editing
14 repositories
🏔 World Building - Conlanging
8 repositories
Starred repositories
7
stars
written in WebAssembly
Clear filter
Optimizer and compiler/toolchain library for WebAssembly
WebAssembly specification, reference interpreter, and test suite.
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
A Formal Semantics of WebAssembly in K
WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
Wasm-DSL / spectec
Forked from WebAssembly/specWasm SpecTec specification tools