fortlang / fort

Related projects ⓘ

Alternatives and complementary repositories for fort

• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆14Updated 5 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆19Updated last month
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• edemko / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆10Updated 10 months ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated 9 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• lexi-lambda / shattered-plans
  ☆34Updated last year
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated 11 months ago
• fwcd / curry-language-server
  IDE support for the functional logic language Curry
  ☆27Updated 3 weeks ago
• mvr / tiny
  A type theory for tiny objects
  ☆10Updated 11 months ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 6 years ago
• RiscInside / LanguageEtudes
  Components of programming languages, all implemented in self-contained files
  ☆9Updated 8 months ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆22Updated last month
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 10 months ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆16Updated 6 months ago
• Armael / conch
  ☆23Updated 3 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆19Updated 2 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• evincarofautumn / hap-hs
  Haskell [re]implementation of Hap, a simple event-based programming language.
  ☆12Updated 4 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆28Updated 4 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago