Pat-Lafon

Cobb

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

ADT-Lemma-Discovery

Algebraic data type specification inference

underapproximation_type

z3.rs

Rust bindings for the Z3 solver.

alexandrie

An alternative crate registry, implemented in Rust.

bril

an educational compiler intermediate representation

UsefulScripts

My collection of useful scripts

Arwen-Egg

Arwen_Elrond_IPC

ascii-canvas

simple canvas for drawing lines and styled text and emitting to the terminal

byteyarn

cargo-hack

Cargo subcommand to provide various options useful for testing and continuous integration.

evergreen

For setting up evergreen on my repositories

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

language_utils

normalty

normalty

ocaml-rs

OCaml extensions in Rust

ocaml_parser

OPLSS2023

Introduction to Coq course at OPLSS 2023

parse-rosetta-rs

Comparing parser APIs

Pat-LaFon.github.io

Playing around with a website

utils

wgpu-rs

Rust bindings to wgpu native library

yongweiy.github.io

:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.

z3

The Z3 Theorem Prover

zzdatatype