Alternatives and similar repositories for phage

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

• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated last year
• augustss / djinn
  Generate Haskell code from a type
  ☆146Updated 10 months ago
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆98Updated last year
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• xldenis / ill
  educational compiler for not (quite) toy languages
  ☆21Updated 6 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 8 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆67Updated 5 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 6 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆67Updated 2 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• oinoom / Core
  compile your own functional language
  ☆36Updated 6 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆42Updated 3 years ago
• TOTBWF / iso
  A reversible language
  ☆22Updated 7 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆58Updated 2 years ago
• georgefst / monpad
  A fully-customisable web-based gamepad, designed to be used from smartphones.
  ☆42Updated 3 weeks ago
• sam46 / FuncMorph
  Crazy figures and animations with Haskell
  ☆34Updated 7 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆67Updated 2 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆65Updated 7 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 11 months ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last week
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 8 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆39Updated 3 months ago
• lambda-fairy / sylvia
  Logic puzzle game based on the lambda calculus
  ☆20Updated 13 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 6 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 3 years ago
• stepcut / idris-blink
  A simple Idris program to blink the LED on an Arduino
  ☆58Updated 4 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 4 years ago