dlshriver

dlshriver's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown307k5.4k68628.7k

• nvbn/thefuck

  Magnificent app which corrects your previous console command.

  Language:Python85.3k8327373.4k

• tldr-pages/tldr

  📚 Collaborative cheatsheets for console commands

  Language:Markdown51.1k3721.4k4.2k

• psf/black

  The uncompromising Python code formatter

  Language:Python38.9k2282.6k2.5k

• google/grumpy

  Grumpy is a Python to Go source code transcompiler and runtime.

  Language:Go10.5k389139647

• onnx/models

  A collection of pre-trained, state-of-the-art models in the ONNX format

  Language:Jupyter Notebook7.9k1893911.4k

• anvaka/city-roads

  Visualization of all roads within any city

  Language:JavaScript6k8553448

• microsoft/MMdnn

  MMdnn is a set of tools to help users inter-operate among different deep learning frameworks. E.g. model conversion and visualization. Convert models between Caffe, Keras, MXNet, Tensorflow, CNTK, PyTorch Onnx and CoreML.

  Language:Python5.8k181617965

• synercys/annotated_latex_equations

  Examples of how to create colorful, annotated equations in Latex using Tikz.

  Language:TeX3.8k383218

• ERGO-Code/HiGHS

  Linear optimization software

  Language:C++97633740180

• plasma-umass/slipcover

  Near Zero-Overhead Python Code Coverage

  Language:Python49493819

• doda-zz/github-language-colors

  GitHub color codes for programming languages

  Language:Python2887557

• google-deepmind/jax_verify

  Neural network verification in JAX

  Language:Python1419727

• bvobart/mllint

  `mllint` is a command-line utility to evaluate the technical quality of Python Machine Learning (ML) projects by means of static analysis of the project's repository.

  Language:Go742164

• dlshriver/dnnv

  A Framework for Deep Neural Network Verification

  Language:Python5663018

• dlshriver/intercepts

  Intercept calls in python

  Language:Python24664

• stanleybak/vnncomp2022

  171040

• stanleybak/vnncomp2023

  Fourth edition of VNN COMP (2023)

  16940

• dynaroars/neuralsat

  DPLL(T)-based Verification tool for DNNs

  Language:Python13430

• MissMeriel/DeepManeuver

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

  Language:Python10100

• dlshriver/vnnlib

  A package for parsing neural network properties in VNN-LIB format

  Language:Python9210

• edwardxu0/GDVB

  GDVB| Systematic Generation of Diverse Benchmarks for DNN Verification

  Language:HCL9121

• less-lab-uva/perception_fuzzing

  Language:Python8301

• dlshriver/dnnf

  Deep Neural Network Falsification

  Language:Python7384

• dlshriver/dnnv-benchmarks

  A Collection of DNN Verification Benchmarks

  Language:Python4211

• mgerrard/alpaca

  An instantiation of the Alternating Conditional Analysis framework.

  Language:Haskell40

• hildebrandt-carl/WorldInTheLoop

  World-in-the-Loop (WIL) simulation: a mixed-reality approach integrating real-world and simulated sensor data to reduce the simulation-reality gap in autonomous system validation, enhancing fault detection before deployment.

  Language:C#3101

• MissMeriel/DDEnv

  Automated Environment Reduction for Debugging Robotic Systems

  Language:C++2101

• mgerrard/llama

  A preprocessing tool for running modular analyses of C programs.

  Language:C10

• Robots-Messy-Reality/Robots-Messy-Reality.github.io

  RobotsModelsAnalyses

  1