Alternatives and similar repositories for haskell-magic-wormhole

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

• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated last month
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 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
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 11 months ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 8 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 7 years ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 7 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 5 months ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 9 months ago
• chessai / streaming-fft
  sliding fast fourier transform using haskell streaming
  ☆13Updated 6 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated last month
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆53Updated 3 months ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• merijn / broadcast-chan
  Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.
  ☆18Updated 2 months ago
• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated last month
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 4 months ago