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
  ☆23Updated 3 months ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 2 years ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 7 months ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 3 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• isovector / nimic
  a language about nothing
  ☆19Updated 5 years ago
• inflex-io / early
  Add early return to any do-expression
  ☆46Updated 3 years ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• lancelet / space-workshop
  Haskell simulations of spacecraft manoeuvres
  ☆19Updated 4 years ago
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆96Updated 4 months ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• jberthold / packman
  Evaluation-orthogonal serialisation of Haskell data, as a library
  ☆62Updated 2 months ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆56Updated 5 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• ctford / Idris-Elba-Dev
  A Whitespace-Based Dependently Typed Functional Programming Language
  ☆16Updated 8 years ago
• nikita-volkov / domain
  Focused domain model declaration toolkit for Haskell
  ☆47Updated last year
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• kowainik / membrain
  🧠 Type-safe memory units
  ☆61Updated 4 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆61Updated 2 months ago
• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆72Updated 5 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• haskell-to-elm / servant-to-elm
  Generate Elm client libraries from Servant API definitions.
  ☆28Updated last year
• sordina / churros
  simple chan based stream programming with arrow interface (Chan + Arrow = Churro)
  ☆32Updated 2 years ago