Alternatives and similar repositories for chemsim

Users that are interested in chemsim are comparing it to the libraries listed below

• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 7 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 6 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 4 years ago
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 4 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 4 years ago
• Libbum / Wafer
  Parallelized 3D FDTD Schrödinger Equation Solver
  ☆20Updated 7 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 4 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 8 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆34Updated 5 years ago
• jasonmorton / Typeclass.jl
  multiparameter typeclasses for Julia
  ☆24Updated 8 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• Airini / FEECa
  FEECa: Finite Element Exterior Calculus in Haskell
  ☆34Updated 5 years ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆14Updated 11 years ago
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 8 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• clayrat / idris-linear
  Experiments with linear types
  ☆14Updated 7 years ago
• jonsterling / coq-guarded-computational-type-theory
  ☆21Updated 7 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 6 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• TobiReinhart / sparse-tensor
  typesafe implementation of tensor algebra in Haskell
  ☆13Updated 4 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆34Updated 3 months ago
• kai-qu / linear-logic
  An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
  ☆22Updated 3 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆16Updated 4 years ago
• brendanzab / algebra
  Abstract algebra for Rust (still very much a WIP!)
  ☆62Updated 3 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago
• proglang / ldgv
  Label dependent dependent session types
  ☆16Updated last year