Alternatives and similar repositories for koak:

Users that are interested in koak are comparing it to the libraries listed below

• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 9 months ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆20Updated 2 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆9Updated 4 years ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 5 months ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 10 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 6 months ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆15Updated last week
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 7 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• diagrams / diagrams-contrib
  User-contributed extensions to diagrams
  ☆27Updated 2 weeks ago