Discover @dlshriver Open Source projects

David Shriver (@dlshriver)

dlshriver

Stars
103
Global Rank 202,350 (Top 7 %)
Followers 16
Following 9
Registered almost 11 years ago
Most used languages

Python
87.5 %

SCSS 12.5 %
Location 🇺🇸 United States
Country Total Rank 46,716
Country Ranking

SCSS 2,725

Python
8,619

dnnv

A Framework for Deep Neural Network Verification

intercepts

Intercept calls in python

vnnlib

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

dnnf

Deep Neural Network Falsification

dnnv-benchmarks

A Collection of DNN Verification Benchmarks

pinq

Python Integrated Queries

cayleypy

A python client for Cayley, an open-source graph database.

dlshriver.github.io

David Shriver on Github