Alternatives and similar repositories for publicstuff:

Users that are interested in publicstuff are comparing it to the libraries listed below

• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆56Updated 4 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆71Updated 2 weeks ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 3 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 6 years ago
• patrikja / AFPcourse
  http://www.cse.chalmers.se/edu/course/afp/
  ☆16Updated 9 years ago
• Saizan / cubical-demo
  ☆45Updated 5 years ago
• adamgundry / uom-plugin
  Units of measure as a GHC typechecker plugin
  ☆30Updated 2 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• pigworker / Pivotal
  ☆30Updated 10 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• DougBurke / astro-haskell
  IHaskell notebooks showing how Haskell can be used in Astronomy.
  ☆22Updated 9 years ago
• felixwellen / DCHoTT-Agda
  Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
  ☆53Updated 2 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated last year
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 8 months ago
• nominolo / union-find
  Efficient union and equivalence testing of sets.
  ☆30Updated 6 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• nomeata / ghcjs2gh-pages
  Example repository setup that deploys GHCJS programs to GitHub Pages
  ☆24Updated 5 years ago
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆57Updated 10 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 9 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• athanclark / dag
  A well-typed Directed Acyclic Graph in Haskell
  ☆12Updated 10 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆46Updated 5 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago