taktoa / chemsimLinks
An attempt at writing a Lattice Boltzmann CFD simulator in Rust
☆10Updated 6 years ago
Alternatives and similar repositories for chemsim
Users that are interested in chemsim are comparing it to the libraries listed below
Sorting:
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Updated 5 years ago
- Paper: The simple essence of automatic differentiation☆23Updated 7 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 4 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 4 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- Clifford algebra for Haskell! :D☆14Updated 11 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 7 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 10 months ago
- Abelian sandpiles☆16Updated last year
- Experiments with linear types☆14Updated 7 years ago
- Dual Number library for Rust☆17Updated 4 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Updated last year
- An elegant implementation of discrete diffgeo in haskell☆34Updated 5 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 6 years ago
- ☆21Updated 7 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 6 years ago
- Haskell 2010 stream comonads☆24Updated last year
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 6 years ago
- A system for computational category theory and applications☆40Updated 9 years ago
- typesafe implementation of tensor algebra in Haskell☆13Updated 4 years ago
- ☆10Updated 9 years ago