vmmc2 / BleachLinks
The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."
☆35Updated last year
Alternatives and similar repositories for Bleach
Users that are interested in Bleach are comparing it to the libraries listed below
Sorting:
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆85Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated last year
- A garden of small programming language implementations 🪴☆311Updated last week
- Fir programming language☆91Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 months ago
- An interpreted array programming language☆16Updated 2 weeks ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆78Updated 2 years ago
- Large Scale Type Systems: ML/C Hybrid Programming Language☆125Updated 6 months ago
- (Hopefully) a compiler for my first language named "Pie"☆22Updated this week
- ☆26Updated 2 years ago
- A programming language. Static types. Full type inference. Garbage collection. --- not stable☆63Updated last week
- A constructive proof assistant for second order logic.☆36Updated last year
- siko☆14Updated 2 years ago
- Reader Implementations of "Writing a C Compiler"☆40Updated 3 weeks ago
- MimIR is my Intermediate Representation☆89Updated this week
- A simple ML-like programming language with subtyping and full type inference.☆188Updated last year
- A tiny lazy objective functional language☆19Updated last year
- 📚 A collection of resources about supercompilation☆128Updated 6 months ago
- A language with dependent data and codata types☆125Updated this week
- A toy dependent typed language.☆36Updated this week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆79Updated 4 years ago
- A series of down-to-earth articles on implementing type inference☆166Updated 5 years ago
- ☆29Updated 5 months ago
- A website for the #proglangdesign community on freenode☆112Updated 3 months ago
- The Egel Programming Language☆83Updated last month
- lambda calculus interpreter☆46Updated 4 years ago
- Full Source Code for Making a Language series☆75Updated last week
- A compiler for functional programs on serialized data☆174Updated last week
- This repository accompanies Bolt - includes the accompanying dissertation.☆42Updated 5 years ago
- Staged compilation with dependent types☆187Updated last week