lanl / McPhD
A Parallel Haskell framework for particle-based Monte Carlo simulations
☆13Updated 5 years ago
Related projects: ⓘ
- Haskell bindings to SymEngine☆25Updated last year
- Numerical is the core library for Numerical Haskell☆136Updated 2 months ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- haskell bindings for blas and lapack☆49Updated 6 years ago
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 4 years ago
- Multidimensional arrays and simple tensor computations☆38Updated 5 months ago
- Funn: Functional Neural Networks in Haskell☆24Updated 5 years ago
- Numerical computation in native Haskell☆88Updated 4 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 2 weeks ago
- Practical Deep Learning in Haskell now!☆49Updated last year
- Some operator abuse☆28Updated 6 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- MPI bindings for Haskell☆46Updated last year
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆87Updated 7 years ago
- DeepAlgebra☆25Updated 6 years ago
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 9 years ago
- Julia embedded in Haskell☆53Updated 5 years ago
- Formalization of category theory in Agda☆13Updated last year
- Haskell bindings for PicoSAT solver☆16Updated 4 years ago
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆180Updated 2 months ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- ☆16Updated 5 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 3 years ago