vmmc2 / BleachLinks
The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."
☆35Updated 11 months ago
Alternatives and similar repositories for Bleach
Users that are interested in Bleach are comparing it to the libraries listed below
Sorting:
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 10 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆82Updated this week
- Fir programming language☆79Updated 2 weeks ago
- A garden of small programming language implementations 🪴☆292Updated last week
- siko☆14Updated last year
- A constructive proof assistant for second order logic.☆36Updated last year
- A website for the #proglangdesign community on freenode☆112Updated 2 weeks ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆70Updated last year
- The Egel Programming Language☆83Updated 6 months ago
- ☆26Updated 2 years ago
- Simple C Compiler in OCaml☆95Updated 7 years ago
- Large Scale Type Systems: ML/C Hybrid Programming Language☆123Updated 3 months ago
- Reader Implementations of "Writing a C Compiler"☆30Updated last month
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆28Updated last month
- A simple ML-like programming language with subtyping and full type inference.☆183Updated 11 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- A programming language. Static types. Full type inference. Garbage collection. --- not stable☆63Updated last week
- Learn to code with Wipple.☆37Updated last month
- SSA vs ANF☆47Updated 10 years ago
- A small, statically typed, low-level programming language.☆24Updated 2 months ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Updated 4 years ago
- Pure functional programming with whole-program mutability inference☆78Updated 3 months ago
- This repository accompanies Bolt - includes the accompanying dissertation.☆41Updated 5 years ago
- Full Source Code for Making a Language series☆56Updated last week
- Curly programming language☆18Updated 4 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated last week
- Semantic analysis framework☆15Updated 3 years ago
- Compiler and tooling for the Myte programming language.☆26Updated 2 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆117Updated this week
- Compiler for a very restricted subset of OCaml☆25Updated 9 years ago