quchen / amoeba
Amœba is a distributed network.
☆18Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for amoeba
- a logic-based trust-management system☆19Updated 12 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆21Updated 7 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Updated 10 years ago
- ☆17Updated 2 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Matlab bindings and interface for Haskell☆13Updated 4 years ago
- Tagged Haskell learning resources index☆22Updated 8 years ago
- lazy continued fractions☆18Updated 9 years ago
- Typed DSLs for sorting☆19Updated 6 years ago
- Type-safe library for generating haskell source code☆28Updated 6 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Updated 5 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.☆15Updated 9 years ago
- A Haskell implementation of crit-bit trees.☆138Updated 2 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- ELF data structures for Haskell☆24Updated last year
- Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.☆12Updated 9 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated last year
- A hip inductive theorem prover!☆88Updated 3 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago