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:
- HN Compiler☆61Updated 2 weeks ago
- 🧊 Чиста система з всесвітами☆147Updated 3 months ago
- 💧 SAMPLE: WebSocket Sample Application☆10Updated last year
- N2O: Application Server☆12Updated 2 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Updated 7 years ago
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- N2O in Haskell☆29Updated 9 years ago
- 🧊 Презентації та воркшопи☆20Updated 2 months ago
- Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)☆21Updated 9 years ago
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- Erlang port of the Shen programming language☆26Updated 5 years ago
- 💧 MHS: Система доставки повідомлень☆28Updated last month
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- Supervised Session Actors☆22Updated 9 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Erlang source code parser written in Rust☆10Updated 3 years ago
- Purely Functional Data Structures in Rust☆43Updated 9 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- ☆16Updated 10 years ago
- An opinionated OTP framework wrapper☆26Updated 7 months ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Lazy iterables in erlang☆12Updated 8 years ago
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆22Updated 5 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- Haskell / Erlang interoperability library☆29Updated 2 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- Verified vector clocks, with Coq!☆14Updated 11 years ago