cvick32

cvick32's Stars

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.4k241.8k103

• inkstitch/inkstitch

  Ink/Stitch: an Inkscape extension for machine embroidery design

  Language:Python1k572.2k176

• EmbroidePy/pyembroidery

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

  Language:Python222229641

• sgpthomas/comp-gen

  Automatically generate a compiler using equality saturation

  Language:Rust28412

• aman-goel/ic3po

  IC3PO: IC3 for Proving Protocol Properties

  Language:Python25234

• dijkstracula/solvent

  baby's first liquid type system

  Language:Python81

• cvick32/ConditionalHistory

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

  Language:Python7110

• dijkstracula/vim-ivy

  Vim syntax plugin for the IVy verification language

  Language:Vim Script6310

• dijkstracula/smrt

  i am so smart

  Language:Dafny40

• sgpthomas/egg-stats

  Generate and Visualize E-Graph Statistics

  Language:TypeScript4101

• cvick32/MonogramMagic

  Tool for typing embroidery fonts

  Language:Python3100

• thelyad/acm-service-toolkit

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

  Language:Python2100

• thelyad/clearnlp-guidelines

  Guidelines.

  2100

• thelyad/debug

  Language:Python2200

• thelyad/FinalProjects

  Final project repository for ITA

  Language:Python2200

• thelyad/hello_world

  This is a hello world repository

  Language:Python2200

• thelyad/jalpc_jekyll_theme

  🍎Jalpc -- Jekyll Theme

  Language:HTML2200

• thelyad/libFMexe

  libFM R package

  Language:R220

• dijkstracula/irving

  there's no checking like bounded model checking

  Language:Rust1358

• thelyad/CS536P3

  Language:Java1200

• thelyad/CS536P5

  Language:Java1200

• thelyad/julia_photo

  120