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 4 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• TOTBWF / iso
  A reversible language
  ☆22Updated 6 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆134Updated 2 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 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
• isovector / nimic
  a language about nothing
  ☆19Updated 5 years ago
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆71Updated 5 years ago
• liamoc / dddp
  Deferring the Details and Deriving Programs
  ☆14Updated 5 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 2 years ago
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated 2 years ago
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated last year
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 7 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆28Updated 3 weeks ago
• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆58Updated 5 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated last year
• andreasabel / haskell-style-guide
  A style guide for Haskell code.
  ☆12Updated 5 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆44Updated 2 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• dmwit / universe
  Classes for types where we know all the values
  ☆39Updated 3 months ago
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated last week
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• fpcastle / fpcastle.github.io
  A representative FP Castle
  ☆18Updated 6 months ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆82Updated 3 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 4 months ago