o3 / n2oLinks
⭕️ N2O: Haskell Application Server
☆47Updated 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 last week
- ☆30Updated 7 years ago
- 🧊 Типізоване -גчислення☆16Updated 3 weeks ago
- N2O in Haskell☆29Updated 9 years ago
- Fast binary serialization in Haskell☆110Updated 6 months ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- ♾️ Sized list☆46Updated last year
- Type-safe time units in Haskell☆49Updated 5 months ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 weeks ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- 🧊 Чиста система з всесвітами☆147Updated 3 weeks ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 5 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 7 years ago
- ☆68Updated last year
- High-resolution clock functions: monotonic, realtime, cputime.☆59Updated last year
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Js libraries for idris☆49Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- High level Haskell bindings to LXC (Linux containers).☆48Updated 9 years ago
- Proof theory seminar☆35Updated 4 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago
- A monad for managed values☆50Updated 2 years ago
- A native Haskell driver for PostgreSQL☆64Updated 6 years ago
- ☆49Updated 7 years ago
- A data-type like Either but with an accumulating Applicative☆100Updated last year