Alternatives and similar repositories for the-notes

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

• langston-barrett / CoverTranslator
  A tool for formally verifying Haskell code in Agda
  ☆28Updated 8 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 7 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 8 months ago
• ezyang / ghc-shake
  ghc --make reimplemented with Shake
  ☆30Updated last year
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 3 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• jkarni / verdict
  ☆26Updated 9 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• ekmett / thc
  An experimental "Turbo" Haskell Runtime - Nothing really to see here yet
  ☆17Updated 9 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• soenkehahn / getopt-generics
  Create command line interfaces with ease
  ☆41Updated 2 years ago
• nh2 / link-with-lld-example
  Example how to link Haskell programs very quickly with lld
  ☆48Updated 8 years ago
• sarthakbagaria / has-sci
  A collection of computational methods in science.
  ☆12Updated 8 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 7 years ago
• ttuegel / autonix-deps
  Library for Nix expression dependency generation
  ☆12Updated 9 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆13Updated 7 years ago
• acowley / BostonHaskell2015
  [Talk] Framing the Discussion with EDSLs
  ☆9Updated 10 years ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆20Updated 3 years ago
• gibiansky / ghc-reskin
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆38Updated 9 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• acowley / cabbage
  A tool for caching cabal builds in a Nix store
  ☆33Updated 9 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 4 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 months ago
• ocharles / transformers-eff
  An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff
  ☆24Updated 7 years ago
• akhra / slantbot
  ☆10Updated 9 years ago
• joom / fuzzy
  Fuzzy string search in Haskell
  ☆14Updated last year
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆23Updated 9 years ago