xujiesi Goto Github PK

boogie

Boogie

bucklescript

A backend for the OCaml compiler which emits JavaScript.

ccured

hack around trying to resuscitate ancient ccured.

cleverhans

An adversarial example library for constructing attacks, building defenses, and benchmarking both

cs-381-class-project

Fair Use of a Scarce Shared Temporally Bounded Resource

csrankings

A web app for ranking computer science departments according to their research output in selective venues.

deepxplore

DeepXplore code release

demo_app

This is a Ruby on Rails demo

dlv

Safety Verification of Deep Neural Networks

evademl-zoo

Benchmarking and Visualization Tool for Adversarial Machine Learning

first_app

The first Ruby on Rails app

fse18-artifact-183

ALPS: Syntax-Guided Synthesis of Datalog Programs

gamepad

A Learning Environment for Theorem Proving

hello-world

This is a test

joern

A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.

mercury-share

Mercury: A Unified Framework for Exploring Offloading Tradeoffs in Mobile-Cloud Computing

ml4code-mtl.github.io

Hosting the website for ML4Code-Mtl.

pdfminer

Python PDF Parser

pie

Precondition Inference Engine

plnn-verification

All code for the Piecewise Linear Neural Networks verification: A comparative study paper

quad2dot

Display Java Quad IR in the dot graph format

reluplexcav2017

sample_app

RoR Tutorial Sample Application

satnet

Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

schedulous

Schedule workers to timeslots with ease.

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

speedyfoil

Extend original FOIL with learnt templates

sygus-comp14

udacity-deep-learning-solution

Tentative Solution for Udacity Deep Learning course taught by Vincent Vanhoucke

z3

The Z3 Theorem Prover