Patrick LaFontaine

Advanced
@Pat-Lafon
pat-lafon.github.io/

Cobb. One who searches underneath the bottom of consciousness: Inception(2010)

8

dot-rust. A library for generating Graphviz DOT language files for graphs.

1

underapproximation_type. OCaml

1

Cobb_PBT. OCaml

1

Arwen-Egg. Rust

1

ADT-Lemma-Discovery. Algebraic data type specification inference

1

postfix_assert. Rust

1

Cobb_Artifact. Makefile

1

effsynth. Ruby

1

Liquid. Haskell

1

propsynth. OCaml

1

z3.rs. Rust bindings for the Z3 solver.

1
12
Apply