An invoice generator app built using Next.js, Typescript, and Shadcn

Generate and Visualize E-Graph Statistics

Kani Rust Verifier

libFM R package

🍎Jalpc -- Jekyll Theme

This is a hello world repository

Final project repository for ITA

Guidelines.

Scripts that have been written over the years to help with ACM-related service jobs

there's no checking like bounded model checking

baby's first liquid type system

IC3PO: IC3 for Proving Protocol Properties

i am so smart

Tool from 'Synthesizing History and Prophecy Variables for Symbolic Model Checking'

Automatically generate a compiler using equality saturation

Ink/Stitch: an Inkscape extension for machine embroidery design

Vim syntax plugin for the IVy verification language

Tool for typing embroidery fonts

pyembroidery library for reading and writing a variety of embroidery formats.