Alternatives and similar repositories for simulus

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

• iscar-ucm / xdevs
  xDEVS: A cross-platform Discrete EVent System simulator
  ☆11Updated 11 months ago
• NMSU-PEARL / GPUs-Energy
  [CF ’20] Verified Instruction-Level Energy Consumption Measurement for NVIDIA GPUs
  ☆15Updated 4 years ago
• equinor / isar
  Integration and Supervisory control of Autonomous Robots
  ☆19Updated this week
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆28Updated 2 years ago
• anki08 / Option-Critic
  A simple option critic framework using Q-Learning
  ☆13Updated 3 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆29Updated last week
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• jbr-ai-labs / bbo-challenge-jetbrains-research
  Code for Solving Black-Box Optimization Challenge via Learning Search Space Partition for Local Bayesian Optimization.
  ☆21Updated 3 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆17Updated 2 years ago
• omargup / neural_combinatorial_optimization
  A peper list for machine learning models solving combinatorial problems, NP-hard problems and problems in graphs.
  ☆13Updated 4 years ago
• FrancescoSaverioZuppichini / pytorch-2.0-benchmark
  Benchmarking PyTorch 2.0 different models
  ☆20Updated 2 years ago
• Elayasuguchi / awesome-AGI
  a list of StrongAI related resources.
  ☆11Updated 2 years ago
• finsberg / category-theory-python
  Learning platform for category theory in python
  ☆17Updated last week
• alga-hopf / drl-graph-partitioning
  DRL models for graph partitioning and sparse matrix ordering.
  ☆31Updated last year
• shi27feng / transformers.satisfy
  propositional satisfiability problem (SAT) goes neural and deep
  ☆13Updated 3 years ago
• hgupta01 / svm_classification_keras
  Implementing SVM layer for classification using Keras Module
  ☆7Updated last year
• mhlr / awesome-jax
  List of awesome JAX resources
  ☆13Updated 2 years ago
• IBM / stomp
  STOMP: Scheduling Techniques Optimization in heterogeneous Multi-Processors
  ☆24Updated 3 months ago
• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆13Updated 4 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 10 months ago
• reactive-systems / ml2
  Machine Learning for Mathematics and Logics
  ☆13Updated 4 months ago
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆20Updated 2 years ago
• google-research / tf-opt
  ☆41Updated last week
• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆30Updated 3 years ago
• instance01 / fish-rl-alife
  Running RL algorithms on the fish/shark aquarium environment to find unexpected biological insights.
  ☆10Updated 3 years ago
• jetnew / SlimeRL
  Code repository for the research project "You Play Ball, I Play Ball: Bayesian Multi-Agent Reinforcement Learning for Slime Volleyball", …
  ☆17Updated 4 years ago
• SamuelSchmidgall / EvolutionarySelfReplication
  Produce intelligence by means of natural selection without objective/reward optimization
  ☆14Updated 3 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
• orrivlin / MinimumVertexCover_DRL
  Learning to solve Minimum Vertex Cover using Graph Convolutional Networks and RL
  ☆77Updated 6 years ago