source-academy / pie-slangLinks
Implementation of Pie, following The Little Typer
☆18Updated last week
Alternatives and similar repositories for pie-slang
Users that are interested in pie-slang are comparing it to the libraries listed below
Sorting:
- A stepping debugger for Standard ML (SML)☆26Updated last year
- a proof-of-concept programming language based on call-by-push-value☆61Updated 3 weeks ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆79Updated 4 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆31Updated 6 months ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆21Updated 4 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆65Updated 8 months ago
- A constructive proof assistant for second order logic.☆36Updated last year
- Minimalist compiler course, based on Essential of Compilation☆11Updated last month
- A compiler and runtime for normalizing the untyped λ-calculus☆32Updated 4 years ago
- Coq code formatter☆24Updated 2 weeks ago
- Compiler and tooling for the Myte programming language.☆28Updated 2 years ago
- A Verified Compiler for Gallina, Written in Gallina☆158Updated this week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆39Updated last year
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆30Updated 2 weeks ago
- A programming language supporting most of both declarative and imperative programming☆52Updated 2 weeks ago
- A ML-like pure functional language that can be used as a template for creating your own language☆31Updated last year
- Language based on Rewriting Logic☆158Updated last week
- Standard ML of New Jersey☆234Updated last week
- joke page until I decide what to do with this domain name☆39Updated 7 months ago
- A garden of small programming language implementations 🪴☆311Updated last week
- ☆42Updated 6 months ago
- strictly is a declarative programming language for interactive web-components☆10Updated 2 years ago
- Mechanized baselines for various type system features☆18Updated 2 months ago
- A custom parser/auto-formatter for Standard ML☆87Updated last month
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆78Updated 2 years ago
- Simple C Compiler in OCaml☆95Updated 7 years ago
- ☆38Updated 4 years ago
- deployment for smlhelp page☆43Updated 7 months ago
- WIP stack language that uses regex for control flow☆42Updated 2 years ago