Alternatives and similar repositories for chemsim

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

• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 5 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 7 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆23Updated 7 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 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
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 5 years ago
• proglang / ldgv
  Label dependent dependent session types
  ☆16Updated last year
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆34Updated 5 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 6 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 7 years ago
• jonsterling / coq-guarded-computational-type-theory
  ☆21Updated 7 years ago
• noshu / lbfgsb-sys
  Rust binding of fortran Limited memory LBFGS subroutine
  ☆14Updated 6 years ago
• kai-qu / linear-logic
  An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
  ☆22Updated 3 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated 2 years ago
• ammkrn / nanoda
  A type checker for the Lean theorem prover
  ☆40Updated 4 years ago
• Airini / FEECa
  FEECa: Finite Element Exterior Calculus in Haskell
  ☆34Updated 5 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆32Updated 5 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 6 years ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆14Updated 11 years ago
• dpiponi / pile
  Abelian sandpiles
  ☆16Updated last year
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 11 years ago
• TobiReinhart / sparse-tensor
  typesafe implementation of tensor algebra in Haskell
  ☆13Updated 4 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Updated 3 years ago