Pat-Lafon

Pinned Repositories

ADT-Lemma-Discovery
Algebraic data type specification inference
Language:OCaml1 0 00
Arwen-Egg
Language:Rust1 1 00
Cobb
One who searches underneath the bottom of consciousness: Inception(2010)
Language:OCaml4 2 182
Cobb_PBT
Language:OCaml11
dot-rust
A library for generating Graphviz DOT language files for graphs.
Language:Rust1 0 00
effsynth
Language:Ruby1 0 00
Liquid
Language:Haskell1 2 00
postfix_assert
Language:Rust1 1 00
propsynth
Language:OCaml1 0 00
UsefulScripts
My collection of useful scripts
Language:Shell0 1 20

Pat-Lafon's Repositories

Pat-Lafon/dot-rust
A library for generating Graphviz DOT language files for graphs.
Language:Rust1 0 00
Pat-Lafon/effsynth
Language:Ruby1 0 00
Pat-Lafon/Liquid
Language:Haskell1 2 00
Pat-Lafon/postfix_assert
Language:Rust1 1 00
Pat-Lafon/propsynth
Language:OCaml1 0 00
Pat-Lafon/antidote-python-client
AntidoteDB Python client.
Language:Python0 1 00
Pat-Lafon/auto-selfcontrol
Small utility to schedule start and stop times of SelfControl
Language:Python0 1 00
Pat-Lafon/JCC
2 0
Pat-Lafon/linguine
Geometry types
Language:OCaml1 0
Pat-Lafon/llvm-pass-skeleton
example LLVM pass
Language:C++1 0
Pat-Lafon/Nadar-rs
Language:Rust2 0
Pat-Lafon/naga
Universal shader translation in Rust
Language:Rust1 0
Pat-Lafon/OPython
A python interpreter written in Ocaml
Language:OCaml0 10
Pat-Lafon/Raghav-tool
Language:Rust1 0
Pat-Lafon/Regex
My attempt at implementing a regular expression parser in OCaml
Language:OCaml1 0
Pat-Lafon/RustTyC
An interface for writing a RustTypeChecker.
Language:Rust0 0
Pat-Lafon/Z3-python-task
Language:Python2 0