vindaloo-thesis / examplesLinks
Code samples inspiring language design
☆24Updated 9 years ago
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- A functional smart contract system☆6Updated 6 years ago
- JSON RPC using the remote monad☆9Updated 7 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- A fast Haskell Bloom filter library.☆60Updated 2 years ago
- JVM implementation in Haskell☆44Updated 8 months ago
- ☆23Updated 7 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- ☆40Updated 6 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 7 years ago
- Concurrency features for the Haskell machines package☆17Updated 3 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Cloud Haskell Demonstration☆18Updated 9 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 9 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- ☆16Updated 10 years ago
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- the (very humble) beginnings of a kafka client for haskell☆34Updated 6 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- Concurrency library inspired by Erlang/OTP☆18Updated 3 weeks ago
- an example airship app☆14Updated 8 years ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year