wyager / Example-Distributed-App

Related projects ⓘ

Alternatives and complementary repositories for Example-Distributed-App

• jberryman / unagi-chan
  A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
  ☆127Updated 2 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆94Updated 9 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆206Updated 5 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆95Updated 2 years ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆136Updated 4 years ago
• hailstorm-hs / hailstorm
  Haskell distributed stream processing with exactly-once semantics
  ☆90Updated 10 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• ekmett / discrimination
  Fast linear time sorting and discrimination for a large class of data types
  ☆134Updated last month
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆122Updated last year
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆102Updated 4 years ago
• bos / bloomfilter
  A fast Haskell Bloom filter library.
  ☆60Updated last year
• haskell-distributed / cloud-haskell
  This is an umbrella development repository for Cloud Haskell
  ☆72Updated 6 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆75Updated 4 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 5 years ago
• susanctu / Haskell-In-Memory-DB
  ☆13Updated 10 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated last year
• mgsloan / store
  Fast binary serialization in Haskell
  ☆109Updated 9 months ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆47Updated 5 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 7 years ago
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated 9 months ago
• simonmar / monad-par
  ☆124Updated 11 months ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆66Updated 4 years ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆104Updated 4 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• typed-wire / typed-wire
  Language independent type-safe communication
  ☆133Updated 6 years ago