depted's 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.
Language:Haskell000
linear-algebra
linear algebra in python
neurips21-self-supervised-bug-detection-and-repair
Replication Code for "Self-Supervised Bug Detection and Repair" NeurIPS 2021
Language:PythonMIT000
OCaml-study
Correct + Efficient + Beautiful
ptgnn
A PyTorch Graph Neural Network Library
Language:PythonMIT000
PyCG
Static Python call graph generator
Language:PythonApache-2.0000
Language:PythonApache-2.0000
SATIP
Static Analysis of TIP
Language:OCaml000
satyros
SATyros, small SAT/SMT sovler library for step-by-step solving
Language:HaskellMIT000
stlc-ocaml
Simply Typed Lambda Calculus, implemented in Ocaml
Language:OCaml000
transformers
🤗 Transformers: State-of-the-art Natural Language Processing for Pytorch, TensorFlow, and JAX.
Language:PythonApache-2.0000
typilus
Code for "Typilus: Neural Type Hints" PLDI 2020
Language:PythonMIT000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000