Patrick LaFontaine
Pat-Lafon
Languages
Top Repositories
Repositories
64No description provided.
My collection of useful scripts
No description provided.
No description provided.
an educational compiler intermediate representation
simple canvas for drawing lines and styled text and emitting to the terminal
Analyzing generators' distributions in Cobb and expanding Cobb through changing constructor frequencies
No description provided.
No description provided.
The rustic MLIR bindings in Rust
One who searches underneath the bottom of consciousness: Inception(2010)
No description provided.
QuickCheck inspired property-based testing for OCaml.
No description provided.
LR(1) parser generator for Rust
idk lean stuff
Rust bindings for the Z3 solver.
Graph data structure library for Rust.
No description provided.
No description provided.
advanced compilers
No description provided.
The Z3 Theorem Prover
Babysteps blog
Luck -- A Language for Property-Based Generators
No description provided.
No description provided.
Memory Management ToolKit
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
A GitHub Action for downloading and installing LLVM and Clang binaries.