jameysharp / live-long-and-prosperoLinks
A small compiler for the Prospero Challenge in Constructive Solid Geometry
☆10Updated 3 weeks ago
Alternatives and similar repositories for live-long-and-prospero
Users that are interested in live-long-and-prospero are comparing it to the libraries listed below
Sorting:
- A WIP little dependently-typed systems language☆41Updated last year
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago
- ☆22Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Scope Graph Implementation in Rust☆28Updated last year
- ☆39Updated 4 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- Tutorial-esque examples for common compiler-related tasks in Cranelift☆25Updated 5 months ago
- An experimental RVSDG optimizer for brainfuck code☆24Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆36Updated last month
- Why can't a tree be called Pluplusch?☆28Updated 7 months ago
- A simple prolog implementation in Rust☆26Updated 5 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆113Updated 4 months ago
- Experimental type level programming in Rust☆41Updated 4 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- A functional scripting language.☆17Updated 11 months ago
- Rust testing framework for compilers and VMs☆51Updated 10 months ago
- Garbage collector library☆24Updated 3 years ago
- Propositional logic with exponentials☆23Updated 3 months ago
- Haskell to brainfuck compiler☆31Updated 11 years ago
- A MinCaml compiler implemented in Rust☆44Updated 2 years ago
- Linearizability Hoare Logic☆14Updated 9 months ago
- We have Crater At Home☆36Updated last year
- A Binary File Markup Language☆24Updated 3 years ago
- A Programming language of directories. Just for fun.☆15Updated 2 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 5 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆61Updated 2 years ago
- A fully-featured lexer generator, implemented as a proc macro☆71Updated 6 months ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago