Pinned Repositories
data-structure
Diverse data structures with diverse languages
giggles-is-you
A reimplementation of Baba is You in Haskell, for our weekly haskell-beginners presentations.
linear-algebra
linear algebra in python
logic
proving thm
neurips21-self-supervised-bug-detection-and-repair
Replication Code for "Self-Supervised Bug Detection and Repair" NeurIPS 2021
OCaml-study
Correct + Efficient + Beautiful
ptgnn
A PyTorch Graph Neural Network Library
PyCG
Static Python call graph generator
pycg-evaluation
SATIP
Static Analysis of TIP
depted's Repositories
depted/data-structure
Diverse data structures with diverse languages
depted/giggles-is-you
A reimplementation of Baba is You in Haskell, for our weekly haskell-beginners presentations.
depted/linear-algebra
linear algebra in python
depted/logic
proving thm
depted/neurips21-self-supervised-bug-detection-and-repair
Replication Code for "Self-Supervised Bug Detection and Repair" NeurIPS 2021
depted/OCaml-study
Correct + Efficient + Beautiful
depted/ptgnn
A PyTorch Graph Neural Network Library
depted/PyCG
Static Python call graph generator
depted/pycg-evaluation
depted/SATIP
Static Analysis of TIP
depted/satyros
SATyros, small SAT/SMT sovler library for step-by-step solving
depted/stlc-ocaml
Simply Typed Lambda Calculus, implemented in Ocaml
depted/transformers
🤗 Transformers: State-of-the-art Natural Language Processing for Pytorch, TensorFlow, and JAX.
depted/typilus
Code for "Typilus: Neural Type Hints" PLDI 2020
depted/z3
The Z3 Theorem Prover