silky / super-reference

Related projects: ⓘ

• jtobin / declarative
  DIY Markov Chains.
  ☆23Updated 3 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 6 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 7 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• carlssonia / adaptive
  ☆10Updated 11 years ago
• mikeizbicki / hmm
  hidden markov models in haskell
  ☆34Updated 8 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆15Updated 7 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆37Updated 5 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated last month
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆23Updated 3 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
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆33Updated 5 years ago
• DougBurke / astro-haskell
  IHaskell notebooks showing how Haskell can be used in Astronomy.
  ☆22Updated 9 years ago
• ekmett / multicategories
  Playing around with multicategories and operads
  ☆16Updated 9 years ago
• o1lo01ol1o / diffhask
  DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.
  ☆26Updated 5 years ago
• ghorn / not-gloss
  easy 3d plotting in haskell
  ☆26Updated last year
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 2 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆37Updated 6 months ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆35Updated 5 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 5 years ago
• tuura / pangraph
  A Haskell library for mathematical graph parsing and writing.
  ☆20Updated 3 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• databrary / databrary
  behavioral science research media data sharing web application
  ☆49Updated 2 months ago