Alternatives and similar repositories for isar

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

• nftwzrd / 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…
  ☆102Updated 2 years ago
• hgupta01 / svm_classification_keras
  Implementing SVM layer for classification using Keras Module
  ☆7Updated last year
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆96Updated this week
• ssvlab / esbmc-gpu
  ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …
  ☆7Updated 8 years ago
• liuxfiu / simulus
  Simulus - A Discrete-Event Simulator in Python
  ☆11Updated 8 months ago
• mbdevpl / horast
  Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.
  ☆16Updated 5 years ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 4 months 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
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆13Updated this week
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 7 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 10 months ago
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆17Updated last year
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• reactive-systems / MCHyper
  A hardware model checker for hyperproperties
  ☆18Updated last year
• gaphor / generic
  Generic programming library for Python
  ☆61Updated this week
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆27Updated last year
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆106Updated last year
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 9 months ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• berkeley-abc / mvsis
  A copy of the latest version of MVSIS
  ☆11Updated 4 years ago
• inducer / genpy
  An AST for Python code generation, in Python
  ☆30Updated 2 months ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆91Updated 3 weeks ago
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• fm4se / fm-playground
  A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
  ☆15Updated this week
• Abdur-rahmaanJ / termcharts
  Terminal charts
  ☆37Updated 2 years ago
• lijwen2748 / simplecar
  ☆15Updated 2 years ago
• smarie / python-autoclass
  A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getter…
  ☆38Updated 4 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 10 months ago
• wenxiwang / neuroback
  ☆10Updated 7 months ago