Marco Gario 's repositories
barf-project
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
C4-PlantUML
C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures
time-track
A CLI time tracking tool
codeql-action
Actions for running CodeQL analysis
codeql-cli-binaries
Binaries for the CodeQL CLI
Dirigino
Arduino-Controlled Airship
dokore
Docker Image For Kore
go-vcr
Record and replay your HTTP interactions for fast, deterministic and accurate tests
ironworker-demo
Example of python pipeline for IronWorker
lgtm-jira-addon
Plugin for Atlassian Jira that files issues for LGTM alerts
mountebank
Over the wire test doubles
mpir
Multiple Precision Integers and Rationals
postprocessors
Postprocessors for SMT-COMP tracks.
pyPicoSAT
PicoSAT SAT Solver Python Wrapper
rply
An attempt to port David Beazley's PLY to RPython, and give it a cooler API.
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)
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.