NorfairKing / the-notes
The Notes
☆12Updated 7 years ago
Alternatives and similar repositories for the-notes:
Users that are interested in the-notes are comparing it to the libraries listed below
- ghc --make reimplemented with Shake☆30Updated last year
- ☆13Updated 6 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆22Updated 9 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 9 years ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 3 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Updated 9 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 9 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 7 months ago
- Composable code-quality tools☆13Updated 6 years ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Updated 8 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 6 years ago
- Drive the Nix build system using the Dhall configuration language☆26Updated 6 years ago
- dash docset builder for Haskell packages and cabal project dependencies☆78Updated 4 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆28Updated 10 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Protect against backwards-incompatible serializations☆23Updated 3 years ago
- Experiment-management framework in Haskell☆19Updated 9 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- CLI tool for Hackage☆26Updated last week
- - An overview of Haskell numerical libraries☆15Updated 8 years ago
- ☆33Updated 9 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago