o83 / n2o
N2O: Rust Application Server
☆18Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for n2o
- N2O: Application Server☆10Updated 2 years ago
- ⭕️ N2O: Haskell Application Server☆48Updated 2 years ago
- HN Compiler☆62Updated 5 years ago
- 🧊 Типізоване -גчислення☆15Updated 8 months ago
- N2O in Haskell☆29Updated 8 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- 💧 SAMPLE: WebSocket Sample Application☆9Updated 8 months ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 6 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 5 years ago
- Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search☆23Updated last month
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago
- JVM implementation in Haskell☆44Updated 2 months ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 2 months ago
- 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 8 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- 🧊 Чиста система з всесвітами☆143Updated 4 months ago
- 🧊 Інститут формальної математики☆35Updated 7 months ago
- Key-value storage LSM-style and whatever will grow out of it.☆10Updated 7 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- Project Z, an initiative to build a Haskell engineering eco-system.☆25Updated 3 weeks ago