bangalore-haskell-user-group / functorrent
A bit torrent client
☆18Updated 6 years ago
Alternatives and similar repositories for functorrent:
Users that are interested in functorrent are comparing it to the libraries listed below
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆48Updated 2 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- ☆70Updated 9 years ago
- ☆50Updated 9 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 8 years ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- complexity testing for haskell☆48Updated 9 years ago
- A haskell client library for consul (consul.io)☆31Updated last year
- A hip inductive theorem prover!☆89Updated 3 years ago
- Verified left pad☆19Updated 6 years ago
- Concise Haskell reference☆12Updated 7 years ago
- ☆17Updated 2 years ago
- Edison: A Library of Efficient Data Structures☆55Updated last month
- Where I try code from Haskell (etc) books, articles, etc.☆36Updated last year
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Haskell distributed parallel Haskell☆37Updated 7 years ago
- Dive into GHC☆82Updated 8 years ago
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago
- Priority Search Queues in three different flavors for Haskell☆66Updated last month
- Kind-safe framework for type-safe APIs☆78Updated 5 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- ☆23Updated 9 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- Generic random generators☆81Updated 2 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- A tiny scheme interpreter in Haskell☆24Updated 5 years ago
- Cofun with Cofree Comonads☆31Updated 8 years ago