wavewave / hoodle
hoodle : A pen notetaking program written in haskell
☆142Updated last year
Related projects: ⓘ
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆102Updated 3 weeks ago
- Let GHC prove program equations for you☆145Updated 5 years ago
- A friendly IRC bot and apprentice coder, written in Haskell.☆164Updated 5 months ago
- Diagrams standard library☆137Updated 3 weeks ago
- Haskell Extensible Shell☆68Updated 4 years ago
- The Haskell LaTeX library.☆199Updated 11 months ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆139Updated last week
- The Haskell Refactoring Tool☆136Updated 4 years ago
- gallery of themes for hakyll static site generator☆84Updated 5 years ago
- Haskell bindings for Python's Matplotlib☆85Updated 5 months ago
- Visualize live Haskell data structures in GHCi☆134Updated 5 months ago
- Quick and easy data visualizations with Haskell☆83Updated 6 years ago
- A library for formalizing Haskell types and functions in Coq☆164Updated 11 months ago
- Type-safe, type-level and stateless Haskell graphics framework☆109Updated 7 years ago
- The missing tutorial module for the lens library☆81Updated 4 months ago
- Low-dimensional linear algebra primitives for Haskell.☆198Updated 2 months ago
- Produces ctags "tags" and etags "TAGS" files for Haskell programs☆130Updated 5 months ago
- A nix-based Haskell project manager☆161Updated 3 years ago
- Haskell XML Toolbox☆124Updated 2 months ago
- Haskell-C++ Foreign Function Interface Generator☆141Updated last year
- Hakyll powered blog for yannesposito.com☆40Updated 4 years ago
- A utility for displaying the module dependencies of Haskell programs.☆179Updated 2 months ago
- xmonad with the X11 abstracted and configured with Idris☆204Updated 5 years ago
- Haskell binding to OpenCV-3.x☆154Updated 11 months ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 3 months ago
- The Haskell Refactoring Tool☆139Updated 7 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- High performance, regular, shape polymorphic parallel arrays.☆134Updated 7 months ago
- A very simple coq layer for spacemacs☆36Updated 5 years ago
- Generic random generators☆81Updated last year