414owen / phage

Related projects ⓘ

Alternatives and complementary repositories for phage

• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• augustss / djinn
  Generate Haskell code from a type
  ☆129Updated last year
• TOTBWF / iso
  A reversible language
  ☆23Updated 6 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 3 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆55Updated last year
• kritzcreek / fby19
  Type inference from scratch - Material for my talk at F(by)19
  ☆63Updated 4 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated last week
• deech / ATS-Strange-Loop-Talk
  ☆46Updated 7 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 2 years ago
• melvinzhang / lambda-calculus-game
  ☆20Updated 2 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 5 years ago
• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆73Updated 5 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 7 years ago
• cmcl / franklyfrank
  A prototype implementation of the Frank programming language
  ☆17Updated 8 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆38Updated 5 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆132Updated 3 weeks ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆82Updated 3 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 6 years ago
• coq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆42Updated 10 months ago
• dlicata335 / hott-agda
  ☆82Updated 7 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆70Updated 2 years ago
• hurryabit / pukeko
  A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"
  ☆25Updated 5 months ago
• evertedsphere / shorshe
  freshly-fermented, dependently-typed mustard, with a substructural aftertaste
  ☆31Updated 4 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆31Updated 5 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆99Updated last year
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 3 weeks ago
• themattchan / core
  SPJ's tutorial on implementing functional languages
  ☆28Updated 5 years ago