Alternatives and similar repositories for mccarthy-to-bryant

Users that are interested in mccarthy-to-bryant are comparing it to the libraries listed below

• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆28Updated 6 years ago
• jyp / prettiest
  The Prettiest Printer
  ☆35Updated last year
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• synergistics / chemlambda-hask
  A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.
  ☆12Updated 8 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 10 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆67Updated last week
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 9 years ago
• amosr / folderol
  machine fusion
  ☆16Updated 7 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 9 years ago
• sto0pkid / CategoryTheory
  Category Theory in Agda
  ☆13Updated 7 years ago
• clf / celf
  ☆62Updated 6 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 4 months ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 11 years ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 6 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆47Updated 6 years ago
• VictorTaelin / unknown_halting_status
  Small programs with unknown halting status.
  ☆12Updated 9 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆86Updated 7 years ago
• elliottt / dang
  A compiler for a strongly typed, haskell-like functional language
  ☆22Updated 7 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆16Updated 5 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆79Updated 11 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• gatlin / psilo
  a parallel, safe, iterative list operation language for systems programming
  ☆16Updated 5 years ago