#
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
3828
results
for source starred repositories
Clear filter
A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
A Coq implementation of a nanopass compiler, using "Meta-Theory Γ la Carte" techniques
A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spade/
A fast entity component system (ECS) for C & C++
A functional programming language with shell scripting capabilities
Toy process language with an interactive playground for exploring concurrency
Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml
A functional programming language and declarative system for describing 2D and 3D visuals
Statically typed, high-level functional programming language.
DotBox, a simple, readable configuration language
Rust implementation of Herman's Relational Parsing: https://doi.org/10.1145/3385412.3386032
Compiler for the M language, used to compute the income tax of French taxpayers
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Define rust compile time unit systems using const generics