Alternatives and similar repositories for haskell-magic-wormhole:

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

• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 weeks ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 6 months 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
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 7 months ago
• erebe / systemd
  Haskell bindings for systemd
  ☆18Updated 8 months ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 9 months ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• thufschmitt / tix-papers
  Some writings about a type system for nix
  ☆19Updated 7 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 8 years ago
• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 7 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• ekmett / auth
  ☆40Updated 6 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated 3 weeks ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 4 years ago
• mietek / agda-intro
  Mirror of Conor McBride’s 2011 Agda course materials
  ☆12Updated 6 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 6 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆53Updated 2 months ago