Alternatives and similar repositories for simulus

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

• equinor / isar
  Integration and Supervisory control of Autonomous Robots
  ☆19Updated this week
• NMSU-PEARL / GPUs-Energy
  [CF ’20] Verified Instruction-Level Energy Consumption Measurement for NVIDIA GPUs
  ☆15Updated 4 years ago
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆18Updated 2 years ago
• AlexanderFabisch / cythonwrapper
  Automatically generates a Cython wrapper for C++ code
  ☆43Updated 4 years ago
• iscar-ucm / xdevs
  xDEVS: A cross-platform Discrete EVent System simulator
  ☆13Updated last year
• AssembleSoftware / IoTPy
  Python for streams
  ☆24Updated 3 years ago
• cristianrcv / pycompss-autoparallel
  PyCOMPSs AutoParallel
  ☆12Updated 5 years ago
• facebookresearch / CarbonExplorer
  Carbon Explorer helps evaluating solutions make datacenters operate on renewable energy.
  ☆82Updated last year
• amitnilams / sdwan-gym
  AI gym for SD-WAN
  ☆11Updated 6 years ago
• art-vasilyev / demo-source-protect
  ☆10Updated 5 years ago
• satviz / satviz
  ☆11Updated 3 years ago
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆20Updated 2 years ago
• jgcoded / BuDDy
  BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
  ☆14Updated 8 years ago
• Simewu / top-SAT-solvers-2021
  The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
  ☆21Updated 7 months ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• alugupta / ACT
  ACT An Architectural Carbon Modeling Tool for Designing Sustainable Computer Systems
  ☆13Updated 3 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• azhpushkin / python-c-under-the-hood
  Code examples for "Under the hood of calling C/C++ from Python"
  ☆13Updated 5 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• osmhpi / metalfs
  Near-storage compute aware file system and FPGA operator pipelines.
  ☆29Updated 3 years ago
• indrajeet95 / Device-Placement-Optimization-with-Reinforcement-Learning
  https://arxiv.org/abs/1706.04972
  ☆45Updated 6 years ago
• CatherineMeng / FGYM-user-demo
  Demonstrating the usage of FGYM: A Toolkit for benchmarking FPGA-accelerated Reinforcement Learning
  ☆13Updated 4 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• SnowWalkerJ / StaticPy
  Python JIT transpiler to C++
  ☆15Updated 5 years ago
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• simpx / simpy
  fork from https://gitlab.com/team-simpy/simpy.git
  ☆31Updated 4 years ago
• mit-plv / hemiola
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14Updated 3 years ago
• gmarkall / numba-cuda-users
  An informal list of libraries, programs, examples, and benchmarks using the Numba CUDA target
  ☆16Updated 2 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆18Updated last year
• asrivast28 / ramBLe
  A Parallel Framework for Bayesian Learning
  ☆14Updated 4 years ago