Pinned Repositories
AttackerSynthesis
Tool, Models, and Supplementary Materials for Attacker Synthesis Project
beautiful-racket
Language Building in Racket (from book)
chaos
Cryptographically secure random number generator
ConditionalHistory
Tool from 'Synthesizing History and Prophecy Variables for Symbolic Model Checking'
CounterexampleClassificiation
Prototype tool for classifying counterexamples in a formal model.
MonogramMagic
Tool for typing embroidery fonts
smt2utils
Libraries and tools for the SMT-LIB-2 standard.
striking
An economic model of workers on strike.
web-of-scholars
A, hopefully huge, web of PhD advisors and students
youtube-recommendations
Tracking recommended videos on YouTube
cvick32's Repositories
cvick32/ConditionalHistory
Tool from 'Synthesizing History and Prophecy Variables for Symbolic Model Checking'
cvick32/CounterexampleClassificiation
Prototype tool for classifying counterexamples in a formal model.
cvick32/MonogramMagic
Tool for typing embroidery fonts
cvick32/AttackerSynthesis
Tool, Models, and Supplementary Materials for Attacker Synthesis Project
cvick32/smt2utils
Libraries and tools for the SMT-LIB-2 standard.
cvick32/striking
An economic model of workers on strike.
cvick32/web-of-scholars
A, hopefully huge, web of PhD advisors and students
cvick32/youtube-recommendations
Tracking recommended videos on YouTube
cvick32/beautiful-racket
Language Building in Racket (from book)
cvick32/ck-blockexplorer
A block explorer for Cryptokernel
cvick32/ck-wallet
React-native CK wallet
cvick32/CryptoKernel
A modular kernel designed for implementing blockchain-based digital currencies
cvick32/cvick32.github.io
cvick32/hifitime
A high fidelity time management library in Rust
cvick32/ice-learning
cvick32/inkstitch
Ink/Stitch: an Inkscape extension for machine embroidery design
cvick32/kani
Kani Rust Verifier
cvick32/kani-vscode-extension
Kani VSCode Extension
cvick32/mastery-with-sql
cvick32/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
cvick32/Ovid
Reimplementation of CondHist
cvick32/pysmt
pySMT: A library for SMT formulae manipulation and solving
cvick32/rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
cvick32/s2n-quic
An implementation of the IETF QUIC protocol
cvick32/solc-js
Javascript bindings for the Solidity compiler
cvick32/solvent
baby's first liquid type system
cvick32/verify-rust-std
Verifying the Rust standard library
cvick32/vmm-sys-util
Helpers and utilities used by multiple rust-vmm components and VMMs
cvick32/wallet
A cryptocurrency web wallet with client-side signing
cvick32/x86_64
Library to program x86_64 hardware.