cmeiklejohn / vvclocks
Verified vector clocks, with Coq!
☆13Updated 10 years ago
Related projects: ⓘ
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- Distributed Data Structures in Coq☆49Updated 10 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- Erlang application to dynamically create pools of processes, which can be called in a round-robin fashion.☆10Updated 2 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Make rpc:calls from erlang to haskell☆17Updated 9 years ago
- an example airship app☆14Updated 8 years ago
- Interface for implementing Gossip Protocols in Erlang☆22Updated 11 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 11 years ago
- Binary streaming library for Postgres data pipelines☆18Updated 4 years ago
- Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)☆21Updated 8 years ago
- ☆19Updated this week
- TODO☆10Updated 8 years ago
- Erlang flavored by Some ML☆36Updated 12 years ago
- Supervised Session Actors☆22Updated 8 years ago
- FFI-based byte buffers for Idris☆11Updated 5 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 5 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 7 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Updated 10 years ago
- Try Idris☆36Updated 9 years ago
- Tagged Haskell learning resources index☆22Updated 8 years ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Updated 4 years ago
- Experiments in abstracting definitional interpreters☆16Updated 6 years ago
- ☆10Updated this week
- ☆54Updated 11 years ago
- Yes, really!☆11Updated 9 years ago