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 4 months ago
- Haskell Extensible Shell☆68Updated 4 years ago
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- The missing tutorial module for the lens library☆82Updated 10 months ago
- Diagrams standard library☆139Updated this week
- The Haskell LaTeX library.☆199Updated last year
- Company-mode completion back-end for haskell-mode via ghc-mod☆125Updated 6 years ago
- ☆94Updated 8 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Haskell bindings for Python's Matplotlib☆86Updated 11 months ago
- Visualize live Haskell data structures in GHCi☆136Updated 11 months ago
- Attoparsec parser combinators for parsing org-mode structured text!☆90Updated last year
- Generic random generators☆81Updated last year
- Quick and easy data visualizations with Haskell☆83Updated 6 years ago
- Haskell command line text stream processor☆87Updated 5 years ago
- Haskell XML Toolbox☆124Updated 7 months ago
- Produces ctags "tags" and etags "TAGS" files for Haskell programs☆131Updated 5 months ago
- ☆28Updated 10 years ago
- Low-dimensional linear algebra primitives for Haskell.☆207Updated last week
- ghc-android build using nix☆68Updated 4 years ago
- gallery of themes for hakyll static site generator☆85Updated 5 years ago
- A Dynamic Reconfiguration Library for Haskell Programs☆93Updated last year
- xmonad with the X11 abstracted and configured with Idris☆206Updated 5 years ago
- Numerical is the core library for Numerical Haskell☆137Updated 8 months ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 9 months ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆96Updated 3 years ago
- Intero Layer (Abandonware)☆33Updated 8 years ago
- A library for formalizing Haskell types and functions in Coq☆168Updated last year
- A friendly IRC bot and apprentice coder, written in Haskell.☆165Updated 2 months ago