solatis / haskell-network-anonymous-i2p
Haskell API for I2P anonymous networking
☆16Updated 9 years ago
Alternatives and similar repositories for haskell-network-anonymous-i2p:
Users that are interested in haskell-network-anonymous-i2p are comparing it to the libraries listed below
- Parser and type analysis for the Go programming language☆12Updated last year
- A nullary type class for partial functions☆15Updated 7 years ago
- ☆16Updated 10 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 6 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Haskell 2010 stream comonads☆22Updated 3 months ago
- The Spire Programming Language☆59Updated 10 years ago
- JSON RPC using the remote monad☆9Updated 7 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 3 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Transactional cache with configurable persistence☆46Updated last year
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- GHCJS DOM Hello World, an example package☆10Updated 10 months ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- Concurrency features for the Haskell machines package☆17Updated 3 years ago
- Explicitly Typed exceptions as a library☆22Updated 4 years ago
- phantom types☆38Updated last month
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- ☆15Updated 7 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 5 years ago
- More strongly typed variant of the ixset Haskell package☆24Updated 7 months ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- Haskell library for efficiently building up buffers☆26Updated 2 months ago