oskar2517 / microhaskellLinks
Interpreter for a small subset of the Haskell programming language
☆16Updated 2 months ago
Alternatives and similar repositories for microhaskell
Users that are interested in microhaskell are comparing it to the libraries listed below
Sorting:
- Polymorphic guarded λ-calculus☆22Updated 6 months ago
- A toy dependent typed language.☆36Updated this week
- An experimental language server for SomewhatML☆24Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- a self-hosting lambda calculus compiler☆37Updated 10 months ago
- ☆16Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated 2 weeks ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 5 years ago
- Liquid Types implementation for Rust☆30Updated 3 years ago
- ☆11Updated 4 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- A tiny statically typed programming language☆18Updated 11 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Updated 5 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 months ago
- A small example of a source->source pattern matching to decision tree compiler☆14Updated 5 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- SPSC: A Small Positive Supercompiler☆39Updated last year
- The uncurried minimal functional programming language for CPS transformation☆19Updated last year
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- A Dependently Typed Esolang☆10Updated 8 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12Updated last year
- Haskell bindings to binaryen.☆14Updated 4 years ago
- Tools for MIL, a Monadic Intermediate Language☆23Updated 3 months ago
- A MinCaml compiler implemented in Rust☆44Updated 2 years ago
- A playground for parsers, type checkers, interpreters, compilers, etc.☆41Updated last year
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated last year