Alternatives and similar repositories for phage

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

• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• TOTBWF / iso
  A reversible language
  ☆22Updated 7 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 3 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated last year
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆97Updated last year
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆37Updated 2 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆42Updated 3 years ago
• lexi-lambda / shattered-plans
  ☆40Updated 2 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆126Updated 6 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 6 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated 2 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• clayrat / sequent-calc
  Experiments with sequent calculi
  ☆28Updated 4 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 7 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆58Updated 2 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆45Updated 6 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆51Updated 3 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆49Updated 4 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆42Updated 8 months ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 7 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 5 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago