#
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
13
stars
written in Makefile
Clear filter
JSON Meta Application Protocol Specification (JMAP)
Fixedsys Excelsior font with programming ligatures
A Makefile to get started with Rust (DEPRECATED)
information and tools to understand the internals of Appleβs operating systems
An umbrella repository including all of the dependencies to build the smaccmpilot project
Qahiri (ΩΨ§ΩΨ±Ω) is a manuscript Kufic typeface
A collection of hand-written files for Dedukti
use coq to verify stlc in a way that extracts to good haskell