vmmc2 / Bleach
The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."
☆33Updated 5 months ago
Alternatives and similar repositories for Bleach
Users that are interested in Bleach are comparing it to the libraries listed below
Sorting:
- Admiran compiler, library, and examples☆62Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 4 months ago
- Reader Implementations of "Writing a C Compiler"☆17Updated last week
- Toy compiler☆49Updated last week
- siko☆14Updated last year
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆24Updated 3 months ago
- Soul - an esoteric concatenative language☆11Updated last year
- A tiny lazy objective functional language☆16Updated 8 months ago
- Automatic conversion of call by value into call by need in the LLVM IR.☆58Updated last year
- A Language with Dependent Data and Codata Types☆104Updated this week
- Geometry types☆30Updated 4 years ago
- An interpreted array programming language☆16Updated 5 months ago
- ☆22Updated 3 weeks ago
- ☆99Updated 2 weeks ago
- Smalltalk like programming language☆54Updated last week
- WIP stack language that uses regex for control flow☆42Updated last year
- MimIR is my Intermediate Representation☆68Updated this week
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Updated 3 years ago
- Compiler project for Dave Beazley' Wabbit Language☆25Updated 3 years ago
- Programming with pure lambda calculus☆106Updated last month
- A garden of small programming language implementations 🪴☆224Updated this week
- Semantic analysis framework☆14Updated 2 years ago
- moved to https://codeberg.org/core-lang/core☆54Updated 3 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- An example of how to construct a parser combinator library in C++. Focus on simplicity, not efficiency.☆23Updated 4 years ago
- A programming language. Static types. Full type inference. Garbage collection. --- not stable☆61Updated 10 months ago
- Large Scale Type Systems (programming language)☆122Updated 3 months ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- The Flambda backend project for OCaml☆143Updated this week