tittoassini / notebook
Rough and Ready Haskell Notebooks with HLS and VS Code
☆44Updated last year
Related projects: ⓘ
- ☆22Updated 2 months ago
- Go get tested! Github Actions matrix generator for your haskell projects☆44Updated this week
- lowlevel set of cryptographic primitives for haskell☆25Updated 3 months ago
- The power of Haskell in your terminal!☆41Updated last month
- Improving all Haskell's programmer interfaces☆65Updated 3 months ago
- 📊 Haskell dependencies build times profiler☆73Updated last year
- Effects libraries in Haskell☆73Updated last year
- Haskell QuasiQuoter for String Formatting☆66Updated 4 months ago
- ☆40Updated 10 months ago
- A tool suite to aid Haskell development using `cabal-install`☆80Updated 2 months ago
- String manipulation tool written in haskell☆28Updated 6 months ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆42Updated this week
- Experiments about running Haskell via WebAssembly on Fastly☆38Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 4 months ago
- todo and unimplemented, robustly implemented☆32Updated last week
- Library to support efficient compilation of large records (linear in the number of record fields)☆44Updated last month
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆56Updated last month
- Source material for Certainty by Construction☆36Updated 8 months ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated 3 months ago
- Retrying for humans using Haskell.☆42Updated 7 months ago
- haskell source code visualizer☆97Updated last year
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- A structured concurrency library☆81Updated 2 months ago
- Haskell library for type-inference with Hindley-Milner type-system.☆32Updated 3 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆88Updated last month
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆80Updated last month
- ☆51Updated this week
- ☆21Updated 5 months ago
- Convert values from one type into another.☆74Updated last week
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 9 months ago