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
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- JSON RPC using the remote monad☆9Updated 7 years ago
- Trello Client for PureScript☆10Updated 9 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Updated 8 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆31Updated 8 years ago
- Access JS webstorage (local & session) in a typesafe and convenient way☆29Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- ☆21Updated 7 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Generate and apply diffs between JSON documents.☆39Updated 2 years ago
- ☆23Updated 7 years ago
- ☆21Updated 4 years ago
- Distributed systems execution emulation☆18Updated 6 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 7 years ago
- Concurrency features for the Haskell machines package☆17Updated 3 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- Miscellaneous constructions on monoids☆21Updated 2 weeks ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated 2 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16Updated 6 years ago
- Example of Isomorphic React Application written in PureScript☆22Updated 7 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- Optional values☆18Updated 2 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago