Alternatives and similar repositories for haskell-magic-wormhole

Users that are interested in haskell-magic-wormhole are comparing it to the libraries listed below

• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• hBPF / hBPF
  Simple DSL that comiles to BPF assembly
  ☆17Updated 7 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆86Updated 7 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 9 months ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆66Updated 2 months ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆52Updated 5 months ago
• bobatkey / CS316-17
  The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
  ☆21Updated 8 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆74Updated 8 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 8 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last week
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago
• clf / celf
  ☆62Updated 6 years ago
• ekmett / auth
  ☆40Updated 7 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• carlssonia / adaptive
  ☆10Updated 12 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 9 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆40Updated 4 months ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆55Updated 4 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 8 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 10 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• ISANobody / sill
  ☆29Updated 10 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 10 years ago