Stars
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
A powerful and user-friendly binary analysis platform!
A user friendly TUI for SQL databases. Written in python. Supports SQL server, Mysql, PostreSQL, SQLite, Turso and more.
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
pySMT: A library for SMT formulae manipulation and solving
Control Onkyo A/V receivers over the network; usuable as a script, or as a Python library.
find unused code by collecting methods defined but not called or referenced
CNF generator in DIMACS format. It produces common families of CNFs.
Applications of reinforcement learning to Groebner basis computation.
The first efficient procedure to test whether a sampler is uniform
A tool for checking tool output inspired by LLVM's FileCheck
Demonstration of BDD-based SAT solver that generates checkable proofs of unsatisfiability. Details provided in paper: R. E. Bryant and M. J. H. Heule, "Generating Extended Resolution Proofs in a BD…
Quantification of software properties through Model Counting: We use CBMC to transform C-code into SAT instances and then run approximate model counting on those instances
A decoder for the crossfire protocol.
Problem generator for CNF and PBO encodings of hash functions.
Experiment Design and Analysis for Computer Clusters: Web frontend
Approximately Propagation Complete and Conflict Propagating CNF Encoder
Gaussian sampler of multi-dimensional spheres in Lp spaces