ocramz / sde

Related projects: ⓘ

• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆22Updated 6 months ago
• friedbrice / AutoDiff
  Code snippets accompanying the talk "Automatic Differentiation in Haskell."
  ☆19Updated 4 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 4 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 5 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆26Updated 6 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆23Updated 3 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 5 months ago
• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 4 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆53Updated last month
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆28Updated 3 years ago
• ulysses4ever / Monads.jl
  Monadic expressions and sequences for Julia
  ☆32Updated last year
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆71Updated 12 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 2 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated last month
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆49Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 4 years ago
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 3 years ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆88Updated 4 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 2 weeks ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 4 years ago
• paulrzcz / hquantlib
  HQuantLib, financial math in Haskell
  ☆64Updated 8 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated 3 weeks ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆56Updated 3 years ago