Pinned Repositories
barf-project
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
C4-PlantUML
C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures
canopen
CANopen for Python
carrasp
ipasir
time-track
A CLI time tracking tool
mathsat-cffi
CFFI Wrapper for MathSAT library
pyPicoSAT
PicoSAT SAT Solver Python Wrapper
pysmt
pySMT: A library for SMT formulae manipulation and solving
marcogario's Repositories
marcogario/ipasir
marcogario/barf-project
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
marcogario/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
marcogario/C4-PlantUML
C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures
marcogario/canopen
CANopen for Python
marcogario/carrasp
marcogario/time-track
A CLI time tracking tool
marcogario/codeql-action
Actions for running CodeQL analysis
marcogario/codeql-cli-binaries
Binaries for the CodeQL CLI
marcogario/Dirigino
Arduino-Controlled Airship
marcogario/docker-site
marcogario/dokore
Docker Image For Kore
marcogario/go-vcr
Record and replay your HTTP interactions for fast, deterministic and accurate tests
marcogario/ironworker-demo
Example of python pipeline for IronWorker
marcogario/lgtm-jira-addon
Plugin for Atlassian Jira that files issues for LGTM alerts
marcogario/mountebank
Over the wire test doubles
marcogario/mpir
Multiple Precision Integers and Rationals
marcogario/postprocessors
Postprocessors for SMT-COMP tracks.
marcogario/pyPicoSAT
PicoSAT SAT Solver Python Wrapper
marcogario/pysmt-cvc4
marcogario/rply
An attempt to port David Beazley's PLY to RPython, and give it a cooler API.
marcogario/sarif-sdk
.NET code and supporting files for working with the 'Static Analysis Results Interchange Format' (SARIF, see https://github.com/oasis-tcs/sarif-spec)
marcogario/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.