o3 / n2oLinks
⭕️ 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
Sorting:
- ☆30Updated 7 years ago
- 🧊 Інститут формальної математики☆35Updated this week
- N2O in Haskell☆29Updated 9 years ago
- Type-safe time units in Haskell☆49Updated 4 months ago
- 🧊 Типізоване -גчислення☆16Updated this week
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- ♾️ Sized list☆46Updated last year
- Proof theory seminar☆35Updated 4 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 4 months ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆25Updated 5 years ago
- ☆42Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated last week
- Implementation of cryptographic primitives using Idris☆122Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Benchmarks for set data structures: hash sets, dawg's, bloom filters, etc.☆23Updated 8 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 months ago
- A data-type like Either but with an accumulating Applicative☆100Updated last year
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- A more flexible mtl☆64Updated 7 years ago
- Haskell 98 Profunctors☆71Updated 2 months ago
- ☆28Updated 7 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 5 months ago
- ☆49Updated 7 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- A port of QuickCheck to Idris☆57Updated 7 years ago