Alternatives and similar repositories for haskell-magic-wormhole

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

• portnov / libssh2-hs
  LibSSH2 FFI bindings for Haskell
  ☆26Updated 3 months ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 3 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated 2 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 7 years ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 8 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• ekmett / auth
  ☆40Updated 7 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 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
• mietek / agda-intro
  Mirror of Conor McBride’s 2011 Agda course materials
  ☆12Updated 6 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated 3 months ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 10 months ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆62Updated 3 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 7 months ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 3 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 5 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 8 months ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated 2 years ago