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
  ☆14Updated last year
• 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…
  ☆100Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆104Updated last month
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• brandtbucher / pycapi
  Over 600 fast Python bindings to the CPython C API. 🤯
  ☆62Updated last year
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 9 months ago
• Melevir / flake8-functions-names
  An extension for flake8 that validates functions names, decomposition and conformity with annotations.
  ☆27Updated 2 years ago
• lijwen2748 / simplecar
  ☆15Updated 3 years ago
• nmichlo / ruck
  🧬 Modularised Evolutionary Algorithms For Python with Optional JIT and Multiprocessing (Ray) support. Inspired by PyTorch Lightning
  ☆53Updated 2 years ago
• anki08 / Option-Critic
  A simple option critic framework using Q-Learning
  ☆14Updated 3 years ago
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆17Updated this week
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆82Updated last year
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• tonybaloney / pyinline
  ☆26Updated 4 years ago
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 7 years ago
• berkeley-abc / mvsis
  A copy of the latest version of MVSIS
  ☆12Updated 4 years ago
• mgudemann / iimc
  ☆14Updated 8 years ago
• litmus-web / Python-Regex
  A port of the Rust regex library to python for super speed linear matching.
  ☆19Updated 2 years ago
• gaphor / generic
  Generic programming library for Python
  ☆61Updated this week
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆25Updated 2 months ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆100Updated this week
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated 2 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated last year
• jetafese / btor2mlir
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆20Updated 4 months ago
• azhpushkin / python-c-under-the-hood
  Code examples for "Under the hood of calling C/C++ from Python"
  ☆13Updated 5 years ago
• JKomp / AIGER
  Python version of tools to work with AIG formatted files
  ☆12Updated 7 months ago
• yaohsiaopid / rtl2uspec
  ☆11Updated 6 months ago
• jcrist / quickle
  A quicker pickle
  ☆109Updated 3 years ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆20Updated 3 months ago