fortlang / fort
Compiler for the fort programming language
☆12Updated 9 months ago
Alternatives and similar repositories for fort:
Users that are interested in fort are comparing it to the libraries listed below
- Linearizability Hoare Logic☆13Updated last week
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 10 months ago
- A SKI combinators interpreter written in assembly☆19Updated 4 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A toy dependent typed language.☆28Updated last week
- The Pulse separation logic DSL for F*☆14Updated this week
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- a self-hosting lambda calculus compiler☆35Updated this week
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆10Updated 11 months ago
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 7 months ago
- Components of programming languages, all implemented in self-contained files☆9Updated last year
- Duo - A research language exploring duality in programming language design☆57Updated last year
- dependent type theory experiment☆25Updated last year
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆28Updated 3 weeks ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- ☆17Updated last year
- An implementation of interaction nets as a forth-like language.☆29Updated this week
- Yoneda lemma in every known language☆17Updated 2 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- A template for you to implement Hazelnut yourself☆21Updated 2 months ago
- Benchmark repository of polyglot effect handler examples☆23Updated 4 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆42Updated last month
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆13Updated last year
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Anders: Cubical Type Checker☆24Updated last year
- ☆36Updated 3 years ago
- Probabilistic music composition in Idris2☆15Updated 2 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago