Patrick LaFontaine's repositories
ADT-Lemma-Discovery
Algebraic data type specification inference
alexandrie
An alternative crate registry, implemented in Rust.
UsefulScripts
My collection of useful scripts
ascii-canvas
simple canvas for drawing lines and styled text and emitting to the terminal
cargo-hack
Cargo subcommand to provide various options useful for testing and continuous integration.
frap
Formal Reasoning About Programs
inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
install-llvm-action
A GitHub Action for downloading and installing LLVM and Clang binaries.
interactive_process
A tiny Rust library for interacting with a running process over `stdio`.
lalrpop
LR(1) parser generator for Rust
normalty
normalty
ocaml-rs
OCaml extensions in Rust
OPLSS2023
Introduction to Coq course at OPLSS 2023
parse-rosetta-rs
Comparing parser APIs
Pat-LaFon.github.io
Playing around with a website
yongweiy.github.io
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
z3
The Z3 Theorem Prover