o83 / n2oLinks
N2O: Rust Application Server
☆17Updated 6 years ago
Alternatives and similar repositories for n2o
Users that are interested in n2o are comparing it to the libraries listed below
Sorting:
- 🧊 Чиста система з всесвітами☆147Updated 3 months ago
- HN Compiler☆61Updated last month
- 💧 SAMPLE: WebSocket Sample Application☆10Updated last year
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- N2O in Haskell☆29Updated 9 years ago
- N2O: Application Server☆12Updated 2 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Updated 7 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- 🧊 Методологія верифікації теорем☆93Updated last month
- ☆16Updated 10 years ago
- Erlang source code parser written in Rust☆10Updated 3 years ago
- Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)☆21Updated 9 years ago
- Parsec-style parsing for Erlang☆32Updated 14 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Erlang port of the Shen programming language☆26Updated 5 years ago
- 💧 MHS: Система доставки повідомлень☆28Updated 2 months ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.☆18Updated 9 years ago
- Lazy iterables in erlang☆12Updated 9 years ago
- Replication of CRDTs☆38Updated 4 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Updated 9 years ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Functional data structures for Pony☆44Updated 8 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- Supervised Session Actors☆22Updated 9 years ago