tittoassini / notebook
Rough and Ready Haskell Notebooks with HLS and VS Code
☆48Updated 2 years ago
Alternatives and similar repositories for notebook:
Users that are interested in notebook are comparing it to the libraries listed below
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- lowlevel set of cryptographic primitives for haskell☆30Updated 3 weeks ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- GHC plugin to desugar ! into do-notation☆37Updated last month
- Algebraic effects in the Bluefin effect system☆16Updated 11 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated last week
- 📺 The power of Haskell in your terminal!☆42Updated 2 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆59Updated 3 months ago
- Automatically generate Haskell bindings from C header files☆43Updated this week
- todo and unimplemented, robustly implemented☆33Updated 7 months ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- Source material for Certainty by Construction☆41Updated last year
- A Haskell library for on-disk tables based on LSM-Trees☆38Updated this week
- A tool suite to aid Haskell development using `cabal-install`☆85Updated 4 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- A haskell tutorial using CodeWorld☆19Updated 3 months ago
- ☆41Updated last year
- Embedding of python interpreter into haskell programs☆10Updated last week
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated 5 months ago
- Effects libraries in Haskell☆71Updated last year
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last week
- Full-featured haskell bindings for the duckdb database.☆16Updated last year
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- Improving all Haskell's programmer interfaces☆70Updated 3 months ago
- high-powered optics in a small package☆53Updated 6 months ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆46Updated last month
- ☆17Updated last month
- ☆92Updated last month
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated last week