fortlang / fort
Compiler for the fort programming language
☆12Updated 10 months ago
Alternatives and similar repositories for fort:
Users that are interested in fort are comparing it to the libraries listed below
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- Linearizability Hoare Logic☆13Updated last month
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆10Updated 11 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 11 months ago
- a self-hosting lambda calculus compiler☆35Updated 3 weeks ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- dependent type theory experiment☆25Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 7 months ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- A toy dependent typed language.☆28Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Polymorphic guarded λ-calculus☆13Updated 5 months ago
- The Pulse separation logic DSL for F*☆16Updated 2 weeks ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Components of programming languages, all implemented in self-contained files☆9Updated last year
- Haskell binding for PADS☆19Updated 5 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆28Updated 3 weeks ago
- A [ functional stack ] based language.☆29Updated last year
- IDE support for the functional logic programming language Curry☆31Updated last month
- ☆16Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆32Updated this week
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- A formalization of System Fω in Agda☆17Updated 2 months ago