tittoassini / notebookLinks
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
Sorting:
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 months ago
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- Source material for Certainty by Construction☆43Updated last year
- A tool suite to aid Haskell development using `cabal-install`☆86Updated last week
- todo and unimplemented, robustly implemented☆36Updated 8 months ago
- lowlevel set of cryptographic primitives for haskell☆32Updated 2 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- 📺 The power of Haskell in your terminal!☆42Updated 2 weeks ago
- Fast equality saturation in Haskell☆84Updated 3 months ago
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 11 months ago
- A haskell tutorial using CodeWorld☆19Updated 5 months ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated 6 months ago
- ☆41Updated last year
- A structured concurrency library☆86Updated 3 months ago
- Example uses of linear types☆43Updated 4 years ago
- Retrying for humans using Haskell.☆46Updated last year
- Interpret Haskell programs into any cartesian closed category.☆61Updated 3 weeks ago
- high-powered optics in a small package☆53Updated 8 months ago
- Reimplementation of a subset of Cabal☆27Updated 2 months ago
- ☆105Updated last week
- coverage driven random testing framework☆23Updated 7 months ago
- A batteries-included, opinionated Haskell test framework☆26Updated 3 months ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Updated 2 years ago
- Check cross-references in repository documents☆56Updated 2 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- Effects libraries in Haskell☆71Updated last year
- Haskell wrapper for iced☆34Updated this week
- GitHub Action to build, test, and lint Stack-based Haskell projects☆22Updated last week