Alternatives and similar repositories for notebook

Users that are interested in notebook are comparing it to the libraries listed below

• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆43Updated last year
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆73Updated 2 years ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆50Updated 3 months ago
• brandonchinn178 / ghc-string-interpolation-prototypes
  ☆19Updated last month
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆36Updated 9 months ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated 5 months ago
• kazu-yamamoto / crypton
  lowlevel set of cryptographic primitives for haskell
  ☆33Updated last week
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated last month
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆87Updated 3 weeks ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆45Updated 2 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆43Updated last month
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• tomjaguarpaw / tilapia
  Improving all Haskell's programmer interfaces
  ☆74Updated 5 months ago
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆69Updated 5 months ago
• well-typed / large-records
  Library to support efficient compilation of large records (linear in the number of record fields)
  ☆47Updated 3 months ago
• purifix / purifix
  The PureScript Package Manager in Nix
  ☆57Updated 5 months ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 3 months ago
• input-output-hk / foliage
  🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
  ☆43Updated this week
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆61Updated last month
• cdupont / Timeloop
  ☆41Updated last year
• kowainik / validation-selective
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆69Updated 6 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last week
• LaurentRDC / javelin
  Haskell implementation of data structures for data science
  ☆22Updated 3 months ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated last week
• input-output-hk / nothunks
  ☆49Updated 2 months ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆29Updated 3 months ago
• composewell / streamly-examples
  Examples for Streamly
  ☆29Updated last month
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆49Updated last week
• haskellfoundation / HaskellSchool
  ☆51Updated 2 years ago