XujieSi

fse18-artifact-183

ALPS: Syntax-Guided Synthesis of Datalog Programs

udacity-deep-learning-solution

Tentative Solution for Udacity Deep Learning course taught by Vincent Vanhoucke

CS-381-Class-Project

Fair Use of a Scarce Shared Temporally Bounded Resource

cleverhans

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

gamepad

A Learning Environment for Theorem Proving

boogie

Boogie

bucklescript

A backend for the OCaml compiler which emits JavaScript.

ccured

hack around trying to resuscitate ancient ccured.

CSrankings

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

deepxplore

DeepXplore code release

z3

The Z3 Theorem Prover

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

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