wavewave / hoodle
hoodle : A pen notetaking program written in haskell
☆146Updated last year
Alternatives and similar repositories for hoodle:
Users that are interested in hoodle are comparing it to the libraries listed below
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆112Updated 6 months ago
- Diagrams standard library☆139Updated 2 months ago
- A very simple coq layer for spacemacs☆36Updated 5 years ago
- The Haskell LaTeX library.☆199Updated last year
- ghc-android build using nix☆68Updated 4 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Haskell command line text stream processor☆86Updated 5 years ago
- A presentation for BayHac 2017 on how I uses lenses at work☆77Updated 8 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- A nix-based Haskell project manager☆164Updated 3 years ago
- The home of the units Haskell package☆100Updated 3 months ago
- The missing tutorial module for the lens library☆82Updated 11 months ago
- Format strings type-safely with combinators☆167Updated last year
- A library for formalizing Haskell types and functions in Coq☆170Updated last year
- Quick and easy data visualizations with Haskell☆84Updated 6 years ago
- High performance, regular, shape polymorphic parallel arrays.☆140Updated 3 months ago
- Haskell Extensible Shell☆68Updated 4 years ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆207Updated 6 years ago
- A dependency manager for Haskell☆97Updated 3 years ago
- Low-dimensional linear algebra primitives for Haskell.☆208Updated 2 months ago
- Haskell-C++ Foreign Function Interface Generator☆143Updated last year
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Numerical is the core library for Numerical Haskell☆137Updated 10 months ago
- Check properties on standard classes and data structures☆79Updated last year
- Haskell XML Toolbox☆124Updated 9 months ago
- A Haskell API into HTML5 Canvas☆71Updated 2 months ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Generic random generators☆81Updated 2 years ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Updated last year
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago