o3 / n2oLinks
⭕️ N2O: Haskell Application Server
☆46Updated 3 years ago
Alternatives and similar repositories for n2o
Users that are interested in n2o are comparing it to the libraries listed below
Sorting:
- 🧊 Інститут формальної математики☆35Updated 2 months ago
- ♾️ Sized list☆46Updated last year
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- N2O in Haskell☆29Updated 9 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- ☆49Updated 7 years ago
- Js libraries for idris☆49Updated 5 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 months ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 8 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- 🧊 Чиста система з всесвітами☆147Updated 3 months ago
- Generic Programming using True Sums of Products☆162Updated last month
- ☆29Updated 7 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Transactional key-value store written entirely in Haskell☆94Updated 4 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 7 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆23Updated 5 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- Comprehensive framework to build network actors and distributed applications☆43Updated 6 years ago
- ICFP 2019 preprints/papers☆44Updated 6 years ago
- Fast binary serialization in Haskell☆110Updated 9 months ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 5 years ago
- yacctt: Yet Another Cartesian Cubical Type Theory☆75Updated 7 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 8 months ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 8 months ago