ttj

Server

TAK Server

AndroidTacticalAssaultKit-CIV

DnD

A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis

reelay

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

sam

Fairify

This repository contains the replication package for ICSE'22 paper on fairness verification of neural networks.

MPNet

Motion Planning Networks

onnx-mlir

Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure

ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

omplapp

The Open Motion Planning Library (OMPL), GUI + FCL/Assimp integration

ompl

The Open Motion Planning Library (OMPL)

pyrobot

PyRobot: An Open Source Robotics Research Platform

recastnavigation

Industry-standard navigation-mesh toolset for games

npy-matlab

Experimental code to read/write NumPy .NPY files in MATLAB

tartan_drive

Tartan Drive dataset tools and utilities.

prover

Verifier for Deep Neural Network Audio Processing

rtreach

vnncomp2024

Verification of Neural Networks Competition Main Repository (VNN-COMP'24)

immrax

Interval Analysis and Mixed Monotone Reachability in JAX

neuralsat

DPLL(T)-based Verification tool for DNNs

dreal4

Automated Reasoning in Nonlinear Theories of Reals

DeepManeuver

Tool, paper, and study data for DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.

CodeBERT

CodeBERT

node2vec

deepwalk

DeepWalk - Deep Learning for Graphs

pynuxmv

transpiler from (a subset of) python to nuXmv

Fields2Cover

Robust and efficient coverage paths for autonomous agricultural vehicles. A modular and extensible Coverage Path Planning library

opennav_coverage

Nav2 Compatible Complete Cover Task Server, Navigator, & BT Utils

fractDiffusion

Estimate space-time fractional diffusion equation from data

cpsat-primer

Using and Understanding OR-Tools' CP-SAT: A Primer and Cheat Sheet