Lists (6)
Stars
LYGIA, it's a granular and multi-language (GLSL, HLSL, Metal, WGSL, WEGL and CUDA) shader library designed for performance and flexibility
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
The Next Generation of Compositional Programming
A collaborative note taking, wiki and documentation platform that scales. Built with Django and React.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A functional, content-addressable programming language.
A dependently-typed, array-polymorphic language that runs on parallel architectures
A programming language to skip the things you have already computed
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Write programs like message passing graphs and get parallelism for free. Statically typed and compiled to machine code!
Experiments in building "better" languages and tools; for some measure of better.
Play with fluids in your browser (works even on mobile)
River is an experimental assembly-like programming language.
A Blender add-on that adds a node to the Shader Editor which can bake its input to an image, vertex attribute or sculpt mask with one click.
The best C-like language that can be implemented in 10kLOC.
Home of LoycCore, the LES language of Loyc trees, the Enhanced C# parser, the LeMP macro preprocessor, and the LLLPG parser generator.
C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)
DreamUV - 3D viewport UV editing tools for Blender
Extremely fast, in memory, JSON and reflection library for modern C++