marcogario Goto Github PK

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

codeql-action

Actions for running CodeQL analysis

codeql-cli-binaries

Binaries for the CodeQL CLI

dirigino

Arduino-Controlled Airship

docker-site

dokore

Docker Image For Kore

go-vcr

Record and replay your HTTP interactions for fast, deterministic and accurate tests

ipasir

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

pysmt-cvc4

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)

time-track

A CLI time tracking tool

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.