Alternatives and similar repositories for kontiki:

Users that are interested in kontiki are comparing it to the libraries listed below

• kfish / raft
  Raft distributed consensus protocol (Haskell library)
  ☆27Updated 5 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated 2 years ago
• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆121Updated 7 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• ndmitchell / bake
  UNMAINTAINED: Continuous integration server
  ☆130Updated 6 years ago
• kim / leveldb-haskell
  Haskell bindings to LevelDB (https://github.com/google/leveldb)
  ☆68Updated 2 months ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated last year
• jberryman / unagi-chan
  A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
  ☆130Updated 3 years ago
• GaloisInc / HaNS
  The haskell network stack
  ☆115Updated 7 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 8 months ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated 2 years ago
• froozen / kademlia
  A haskell library implementing the Kademlia DHT
  ☆43Updated 6 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• haskell-haskey / haskey
  Transactional key-value store written entirely in Haskell
  ☆93Updated 4 years ago
• jberthold / packman
  Evaluation-orthogonal serialisation of Haskell data, as a library
  ☆62Updated 3 months ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆136Updated 5 years ago
• alphaHeavy / consul-haskell
  A haskell client library for consul (consul.io)
  ☆31Updated last year
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• cies / htoml
  TOML file format parser in Haskell
  ☆39Updated 3 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• ekmett / parsers
  Generic parser combinators
  ☆87Updated 2 months ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 years ago
• Yuras / scanner
  Fast non-backtracking incremental combinator parsing for bytestrings
  ☆46Updated 4 years ago