Beast code in Giters

Yanjun Wang's starred repositories

Synthesis of Heap-Manipulating Programs from Separation Logic

Language:ScalaNOASSERTION12200

Async database support for Python. 🗄

Language:PythonBSD-3-Clause379000

The Database Toolkit for Python

Language:PythonMIT936400

Language:C++NOASSERTION3800

Language:JavaNOASSERTION3300

deeplearning.ai , By Andrew Ng, All slide and notebook + data + solutions and video link

Language:Jupyter Notebook134800

Language:Python600

Performant type-checking for python.

Language:OCamlMIT679100

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlMIT1488000

A set of basic tools for manipulating SyGuS benchmarks

Language:C++2200

Benchmarks for SyGuS Competition (SyGuS-Comp)

Language:SMT3400

The Z3 Theorem Prover

Language:C++NOASSERTION1011600

A SyGuS Solver

Language:C++MIT2200

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION100700