byorgey / factorization-diagrams

Related projects: ⓘ

• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆28Updated last year
• wenkokke / unlit
  Tool to convert literate code between styles or to code.
  ☆11Updated 5 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 4 years ago
• mhwombat / som
  Self-Organising Map implementation in Haskell
  ☆23Updated 2 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆32Updated 5 years ago
• EmaApps / orgself
  Exploring calendar outlining
  ☆15Updated 7 months ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆22Updated last week
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 7 years ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆14Updated last year
• ekmett / intervals
  Interval Arithmetic
  ☆27Updated 2 years ago
• barrucadu / bookdb
  A database and web app to keep track of all my books
  ☆26Updated this week
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 6 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated last month
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆56Updated 5 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 2 years ago
• phaazon / smoothie
  Smooth curves via several interpolation modes
  ☆10Updated 4 years ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 4 years ago
• conal / agda-generic-parallel
  ☆13Updated this week
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 7 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆29Updated 8 years ago
• basile-henry / conflict
  Conflict is a small esoteric language giving semantics to git merge conflicts
  ☆15Updated 4 years ago
• mokus0 / hs-hdf5
  Low-level typesafe HDF5 bindings
  ☆28Updated 11 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• jwiegley / dsss17
  ☆10Updated this week
• kuribas / mfsolve
  mfsolve
  ☆9Updated last year