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 2 months ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 4 months ago
• VictorTaelin / absal-ex
  Absal ex
  ☆56Updated last year
• TOTBWF / iso
  A reversible language
  ☆22Updated 6 years ago
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆95Updated 2 months ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• evertedsphere / shorshe
  freshly-fermented, dependently-typed mustard, with a substructural aftertaste
  ☆31Updated 4 years ago
• clayrat / sequent-calc
  Experiments with sequent calculi
  ☆26Updated 3 years ago
• hazelgrove / HZ
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆29Updated 7 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• xldenis / ill
  educational compiler for not (quite) toy languages
  ☆20Updated 5 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 6 years ago
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆72Updated 5 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• lortabac / ariel
  A simple, purely-functional programming language
  ☆24Updated 2 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 7 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆28Updated last year
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated last week
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆49Updated 2 months ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 7 years ago
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆33Updated 3 years ago
• ambuc / cornea
  👁️ Isometric 3D Graphing / Rendering module for Haskell
  ☆15Updated 7 years ago
• msp-strath / Mary
  Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git
  ☆17Updated last year