Alternatives and similar repositories for FHPLatticeGas

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

• idaholab / EMRALD
  Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…
  ☆17Updated this week
• idaholab / FORCE
  The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…
  ☆10Updated 8 months ago
• firedrakeproject / tsfc
  (ARCHIVED) Two-stage form compiler
  ☆16Updated 5 months ago
• idaholab / HERON
  Holistic Energy Resource Optimization Network (HERON) is a modeling toolset and plugin for RAVEN to accelerate stochastic technoeconomic …
  ☆29Updated this week
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• Inaxo / MathLib
  MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…
  ☆11Updated 2 years ago
• jakobmoosbauer / flips
  ☆14Updated last year
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated 2 weeks ago
• Nek5000 / parRSB
  parallel graph partitioning using recursive spectral bisection (RSB)
  ☆22Updated 2 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• dreal / probreach
  Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
  ☆17Updated last month
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated last week
• comp-physics / awesome-numerics
  Resources for learning about numerical methods.
  ☆40Updated last year
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• dontcallmedom / spiff
  A diff tool that highlights changes at the token (rather than line) level
  ☆13Updated 2 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 2 years ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆18Updated this week
• ingber / adaptive-simulated-annealing
  Adaptive Simulated Annealing (ASA) is a C-language code developed to statistically find the best global fit of a nonlinear constrained no…
  ☆34Updated last year
• LLNL / uberenv
  Automates using spack to build and deploy software
  ☆28Updated last week
• TESSEorg / ttg
  TTG: Template Task Graph C++ API
  ☆25Updated last month
• AMReX-Fluids / AMReX-Hydro
  AMReX-based hydro routines
  ☆18Updated 4 months ago
• rougier / recursive-voronoi
  Recursive voronoi diagram
  ☆61Updated 6 years ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆50Updated 2 months ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆71Updated last week
• ths-rwth / smtrat
  ☆57Updated last month
• E3SM-Project / EKAT
  Tools and libraries for writing Kokkos-enabled HPC C++ in E3SM ecosystem
  ☆18Updated this week
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• ths-rwth / carl
  ☆30Updated 3 months ago
• ttarkowski / quile
  C++ genetic algorithms scientific library
  ☆15Updated 2 years ago
• logicmoo / logicmoo_nlu
  LogicMOO Natural Language Understanding Kit Unified into Prolog
  ☆13Updated 3 years ago