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
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 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
- 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
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- Lean 4 as a scripting language in Houdini☆21Updated last year
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 6 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Clifford algebra for Haskell! :D☆14Updated 11 years ago
- An elegant implementation of discrete diffgeo in haskell☆34Updated 6 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆20Updated 7 years ago
- Experiments with linear types☆14Updated 7 years ago
- An extended typed Lambda Calculus☆21Updated last year
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 5 years ago
- A simple prolog implementation in Rust☆26Updated 5 years ago
- Julia embedded in Haskell☆52Updated last year
- Haskell 2010 stream comonads☆24Updated last year
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- Collection of algorithms in Computational Geometry.☆18Updated 8 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Updated 3 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 11 years ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 9 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 11 months ago
- Label dependent dependent session types☆16Updated last year