Alternatives and similar repositories for kite

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

• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 10 months ago
• kolmodin / herl
  Erlang BEAM emulator in Haskell
  ☆48Updated 11 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12Updated last year
• blntk / sfpl
  A simple functional programming language.
  ☆22Updated 4 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 11 years ago
• PerplexSystems / commandry
  A command-line parser for Standard ML
  ☆21Updated last month
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 6 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 8 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 7 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆15Updated 5 years ago
• pigworker / potato
  being an experiment with potato power
  ☆23Updated 6 years ago
• meta-logic / lltp
  TPTP linear logic version
  ☆15Updated last year
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆20Updated last month
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆37Updated 2 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆13Updated last month
• acorrenson / owl
  A mini language for logic programming
  ☆23Updated 5 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆30Updated last week
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 7 years ago
• ehatti / konna
  ☆16Updated 3 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated 2 weeks ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 7 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated last year
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆17Updated 2 years ago