Alternatives and similar repositories for isar

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

• liuxfiu / simulus
  Simulus - A Discrete-Event Simulator in Python
  ☆12Updated 11 months ago
• y-t-bot / opensea-instant-outbidder-bidding-bot
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆101Updated 2 years ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 6 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆97Updated 3 weeks ago
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆13Updated this week
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 6 months ago
• ngc92 / quadgym
  OpenAI gym Environments for Quadrotor Control
  ☆16Updated 6 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆18Updated last year
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• litmus-web / Python-Regex
  A port of the Rust regex library to python for super speed linear matching.
  ☆19Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆51Updated 11 months ago
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 7 years ago
• brandtbucher / pycapi
  Over 600 fast Python bindings to the CPython C API. 🤯
  ☆62Updated last year
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆21Updated last year
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated 2 years ago
• a-rahimi / python-checkpointing2
  Checkpoint the state of Python programs using Pythonic setjmp and longjmp
  ☆67Updated 4 years ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• iscar-ucm / xdevs
  xDEVS: A cross-platform Discrete EVent System simulator
  ☆13Updated last year
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆91Updated 3 months ago
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆81Updated last year
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated last year
• 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
• whitemech / pythomata
  A Python package for automata theory.
  ☆57Updated last year
• chriskuehl / pypi-browser
  PyPI package browsing web application
  ☆52Updated last week
• pytorch / expecttest
  ☆83Updated 4 months ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated last year
• sandialabs / staged-script
  A Python package enabling the development of robust automation scripts that are subdivided into stages.
  ☆22Updated last week
• rlseminar / rlseminar.github.io
  Reinforcement Learning Seminar at the Chinese University of Hong Kong, Shenzhen, China.
  ☆21Updated last year