vmmc2 / BleachLinks
The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."
☆35Updated 10 months ago
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☆80Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 9 months ago
- A garden of small programming language implementations 🪴☆290Updated 2 weeks ago
- 📚 A collection of resources about supercompilation☆122Updated 3 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆69Updated last year
- Fir programming language☆80Updated this week
- Reader Implementations of "Writing a C Compiler"☆29Updated 3 weeks ago
- A programming language. Static types. Full type inference. Garbage collection. --- not stable☆63Updated this week
- A constructive proof assistant for second order logic.☆35Updated last year
- A tiny lazy objective functional language☆18Updated last year
- siko☆14Updated last year
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated 3 months ago
- A simple ML-like programming language with subtyping and full type inference.☆180Updated 10 months ago
- Programming with pure lambda calculus☆127Updated 3 weeks ago
- Large Scale Type Systems: ML/C Hybrid Programming Language☆124Updated 2 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated last week
- ☆29Updated 2 months ago
- ☆26Updated 2 years ago
- A Language with Dependent Data and Codata Types☆124Updated this week
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 5 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆208Updated this week
- An interpreted array programming language☆16Updated 10 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆38Updated 2 weeks ago
- A compiler for functional programs on serialized data☆172Updated last week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- A small, statically typed, low-level programming language.☆23Updated last month
- A language with lexical effect handlers and lightweight effect polymorphism☆404Updated this week
- A website for the #proglangdesign community on freenode☆112Updated last month
- The Egel Programming Language☆83Updated 5 months ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated this week