o83 / n2o
N2O: Rust Application Server
☆18Updated 5 years ago
Alternatives and similar repositories for n2o:
Users that are interested in n2o are comparing it to the libraries listed below
- ⭕️ N2O: Haskell Application Server☆48Updated 3 years ago
- N2O: Application Server☆11Updated 2 years ago
- N2O in Haskell☆29Updated 8 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- HN Compiler☆62Updated 5 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 6 years ago
- Integrating the CAP theorem into distributed language design.☆13Updated 6 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 8 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated 11 months ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Owl's Parallel & Distributed Computing Engine☆30Updated 6 years ago
- Key-value storage LSM-style and whatever will grow out of it.☆10Updated 8 years ago
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)☆21Updated 8 years ago
- 💧 MAIL: Система доставки повідомлень☆27Updated last year
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- Verified vector clocks, with Coq!☆14Updated 11 years ago
- JVM implementation in Haskell☆44Updated 5 months ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- 💧 SAMPLE: WebSocket Sample Application☆9Updated 11 months ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- SC Mini is a "minimal" positive supercompiler☆47Updated 4 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 6 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆14Updated 4 years ago
- Loquat: A System for Large-Scale Actor Programming☆11Updated 7 years ago