o3 / n2o
⭕️ N2O: Haskell Application Server
☆48Updated 3 years ago
Alternatives and similar repositories for n2o:
Users that are interested in n2o are comparing it to the libraries listed below
- 🧊 Інститут формальної математики☆34Updated this week
- 🧊 Типізоване -גчислення☆16Updated last year
- N2O in Haskell☆29Updated 9 years ago
- Proof theory seminar☆34Updated 4 years ago
- ☆30Updated 7 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated this week
- Js libraries for idris☆49Updated 5 years ago
- ♾️ Sized list☆46Updated 11 months ago
- haskell lazy evaluation illustrated☆72Updated 7 years ago
- 🧊 Чиста система з всесвітами☆147Updated last week
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- ☆49Updated 7 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated 6 months ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 5 years ago
- Generic Programming using True Sums of Products☆163Updated 3 months ago
- A nano "theorem prover".☆62Updated 6 years ago
- Fast binary serialization in Haskell☆110Updated 4 months ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- Type-safe time units in Haskell☆49Updated 3 months ago
- A data-type like Either but with an accumulating Applicative☆100Updated last year
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- OTP-like supervision trees in Haskell☆62Updated 5 years ago
- Key-value storage LSM-style and whatever will grow out of it.☆10Updated 8 years ago
- a project manage tool for Idris☆17Updated 8 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 3 months ago
- ☆41Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago