Alternatives and similar repositories for phage

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

• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated 2 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 6 months ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆136Updated 4 months ago
• isovector / nimic
  a language about nothing
  ☆19Updated 5 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆67Updated last year
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆85Updated 3 months ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• ChrisPenner / conway
  Conway's game of life in 100 lines or less!
  ☆35Updated 7 years ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 6 years ago
• xldenis / ill
  educational compiler for not (quite) toy languages
  ☆21Updated 6 years ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆94Updated 2 weeks ago
• sam46 / FuncMorph
  Crazy figures and animations with Haskell
  ☆34Updated 6 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆71Updated last month
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 3 years ago
• lexi-lambda / talks
  ☆44Updated 2 years ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 8 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆67Updated 5 years ago
• lexi-lambda / shattered-plans
  ☆37Updated 2 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆48Updated last year
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆25Updated 7 months ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆32Updated 4 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 3 years ago