Pinned Repositories
ADT-Lemma-Discovery
Algebraic data type specification inference
Cobb
One who searches underneath the bottom of consciousness: Inception(2010)
dot-rust
A library for generating Graphviz DOT language files for graphs.
effsynth
Liquid
postfix_assert
propsynth
underapproximation_type
UsefulScripts
My collection of useful scripts
z3.rs
Rust bindings for the Z3 solver.
Pat-Lafon's Repositories
Pat-Lafon/Cobb
One who searches underneath the bottom of consciousness: Inception(2010)
Pat-Lafon/ADT-Lemma-Discovery
Algebraic data type specification inference
Pat-Lafon/underapproximation_type
Pat-Lafon/z3.rs
Rust bindings for the Z3 solver.
Pat-Lafon/alexandrie
An alternative crate registry, implemented in Rust.
Pat-Lafon/bril
an educational compiler intermediate representation
Pat-Lafon/UsefulScripts
My collection of useful scripts
Pat-Lafon/Arwen-Egg
Pat-Lafon/Arwen_Elrond_IPC
Pat-Lafon/ascii-canvas
simple canvas for drawing lines and styled text and emitting to the terminal
Pat-Lafon/byteyarn
Pat-Lafon/cargo-hack
Cargo subcommand to provide various options useful for testing and continuous integration.
Pat-Lafon/evergreen
For setting up evergreen on my repositories
Pat-Lafon/frap
Formal Reasoning About Programs
Pat-Lafon/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Pat-Lafon/install-llvm-action
A GitHub Action for downloading and installing LLVM and Clang binaries.
Pat-Lafon/interactive_process
A tiny Rust library for interacting with a running process over `stdio`.
Pat-Lafon/lalrpop
LR(1) parser generator for Rust
Pat-Lafon/language_utils
Pat-Lafon/mmtk-core
Memory Management ToolKit
Pat-Lafon/normalty
normalty
Pat-Lafon/ocaml-rs
OCaml extensions in Rust
Pat-Lafon/ocaml_parser
Pat-Lafon/OPLSS2023
Introduction to Coq course at OPLSS 2023
Pat-Lafon/parse-rosetta-rs
Comparing parser APIs
Pat-Lafon/Pat-LaFon.github.io
Playing around with a website
Pat-Lafon/utils
Pat-Lafon/yongweiy.github.io
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
Pat-Lafon/z3
The Z3 Theorem Prover
Pat-Lafon/zzdatatype