Alternatives and similar repositories for simulus

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

• KarrLab / de_sim
  Python-based object-oriented discrete-event simulation tool for complex, data-driven modeling
  ☆34Updated 4 years ago
• NMSU-PEARL / GPUs-Energy
  [CF ’20] Verified Instruction-Level Energy Consumption Measurement for NVIDIA GPUs
  ☆15Updated 5 years ago
• equinor / isar
  Integration and Supervisory control of Autonomous Robots
  ☆19Updated last week
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆19Updated 2 years ago
• alga-hopf / drl-graph-partitioning
  DRL models for graph partitioning and sparse matrix ordering.
  ☆32Updated 2 years ago
• cristianrcv / pycompss-autoparallel
  PyCOMPSs AutoParallel
  ☆12Updated 5 years ago
• spcl / npbench
  NPBench - A Benchmarking Suite for High-Performance NumPy
  ☆89Updated 2 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• art-vasilyev / demo-source-protect
  ☆10Updated 6 years ago
• danielchalef / openblas-benchmark-m1
  Benchmarking OpenBLAS on the Apple M1
  ☆18Updated 4 years ago
• SocratesNFR / EvoDynamic
  EvoDynamic seeks to evolve and develop suitable discrete dynamic models of self-organizing systems based on local interactions.
  ☆20Updated 7 months ago
• nathanrooy / landscapes
  A dependency free library of standardized optimization test functions written in pure Python.
  ☆62Updated last year
• jgcoded / BuDDy
  BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
  ☆14Updated 8 years ago
• capocchi / DEVSimPy
  DEVSimPy – Visualize, Model, and Simulate Discrete Event Systems with Python.
  ☆53Updated last week
• satviz / satviz
  ☆11Updated 3 years ago
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆20Updated 2 years ago
• makslevental / mlir-wheels
  ☆28Updated last week
• cheuktingli / psitip
  Python Symbolic Information Theoretic Inequality Prover
  ☆46Updated 6 months ago
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆22Updated 8 months ago
• NTU-ALComLab / LSV-PA
  Logic Synthesis and Verification: Programming Assignments
  ☆15Updated last month
• metagraph-dev / mlir-graphblas
  MLIR tools and dialect for GraphBLAS
  ☆18Updated 3 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• pujyam / simian
  Simian Process Oriented Conservative JIT PDES from LANL
  ☆12Updated 3 years ago
• panhomyoung / phySAT
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆17Updated 2 years ago
• ghackebeil / pybnb
  A parallel branch-and-bound engine for Python. (https://pybnb.readthedocs.io/)
  ☆68Updated 4 years ago
• ravikanthreddy89 / cuda
  LU Decomposition using CUDA
  ☆13Updated 12 years ago
• coreyjadams / CosmicTagger
  Cosmic Tagging Network for Neutrino Physics
  ☆13Updated last year
• atf-tuner / pyATF
  ☆17Updated last month
• vincentloechner / polylib
  PolyLib official git.
  ☆11Updated last week