ConsenSysMesh / FaeLinks
A functional smart contract system
☆6Updated 6 years ago
Alternatives and similar repositories for Fae
Users that are interested in Fae are comparing it to the libraries listed below
Sorting:
- Code samples inspiring language design☆24Updated 9 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- JSON RPC using the remote monad☆9Updated 7 years ago
- Concurrency features for the Haskell machines package☆16Updated 3 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- ☆23Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 3 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 7 years ago
- Generate and apply diffs between JSON documents.☆39Updated 2 years ago
- ☆20Updated 6 years ago
- JVM implementation in Haskell☆44Updated 9 months ago
- Type Theory with Indexed Equality☆25Updated 8 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago
- Authenticated Data Structures☆16Updated 10 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 8 months ago
- Distributed systems execution emulation☆18Updated 6 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Auto-generate a server for your datatype☆30Updated 2 years ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆34Updated 5 months ago
- An append only list in a compact region☆25Updated 6 years ago
- ☆40Updated 7 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- Haskell 2010 stream comonads☆23Updated 7 months ago
- Yet another concurrent playground☆33Updated 9 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Updated 6 months ago