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 4 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 6 years ago
• fsestini / zsyntax
  Automated theorem prover for a linear logic-based calculus for molecular biology.
  ☆12Updated 2 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• conal / essence-of-ad
  Paper: The simple essence of automatic differentiation
  ☆22Updated 6 years ago
• Libbum / Wafer
  Parallelized 3D FDTD Schrödinger Equation Solver
  ☆21Updated 6 years ago
• gergoerdi / hm-compo
  Compositional type checking for a Hindley-Milner type system
  ☆11Updated 8 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 7 years ago
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 3 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆15Updated 11 years ago
• Airini / FEECa
  FEECa: Finite Element Exterior Calculus in Haskell
  ☆34Updated 5 years ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated 5 years ago
• jonsterling / coq-guarded-computational-type-theory
  ☆21Updated 7 years ago
• chessai / streaming-fft
  sliding fast fourier transform using haskell streaming
  ☆13Updated 6 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 3 months ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated 2 years ago
• GaloisInc / estimator
  State-space estimation algorithms and models
  ☆27Updated 8 years ago
• dpiponi / pile
  Abelian sandpiles
  ☆16Updated 7 months ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• michaelsproul / dblib-linear
  Formalisation of the linear lambda calculus in Coq
  ☆10Updated 6 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆16Updated 4 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 7 months ago