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:
- Geometric algebra library for Rust☆22Updated 7 years ago
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Updated 4 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 6 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 4 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Collection of algorithms in Computational Geometry.☆18Updated 7 years ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- Dual Number library for Rust☆17Updated 4 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
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆20Updated 7 years ago
- Clifford algebra for Haskell! :D☆15Updated 11 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
- Haskell 2010 stream comonads☆23Updated 8 months ago
- The root repository for the SpectralSequences project.☆31Updated 3 weeks ago
- Abelian sandpiles☆16Updated 9 months ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- ☆21Updated 7 years ago
- State-space estimation algorithms and models☆27Updated 9 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆32Updated this week
- An automated theorem prover for first order logic.☆29Updated 8 years ago
- Fast Numerical Integration☆24Updated 6 years ago
- Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.☆41Updated 6 years ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Updated 3 years ago