tm507211

UW MadisonMadison, Wi

Pinned Repositories

pti-cs-103
PTI CS 103: Computer Concepts and Programming
Language:TeX2 1 01
2PAQ
Two Phase Commit with Apportion Queries (2PAQ)
Language:C++21
CoqPerceptron
Verified Coq Implementation of the Perceptron Algorithm
Language:Coq6 3 01
duet
Duet: static analysis for unbounded concurrency
Language:C00
MatchEmbeds
A practical algorithm for the structure embedding problem
Language:C++20
ocaml-mathsat
OCaml bindings for MathSAT 5
Language:OCaml00
srk
Symbolic Reasoning Kit
Language:OCaml00
Vector
Simple C++ library implementing 2D, 3D, and 4D vectors and 3D and 4D Matrices.
Language:C++3 1 01
duet
Duet: static analysis for unbounded concurrency
Language:OCaml23 7 517
srk
Symbolic Reasoning Kit
Language:OCaml8 2 11

tm507211's Repositories

tm507211/CoqPerceptron
Verified Coq Implementation of the Perceptron Algorithm
Language:Coq6 3 01
tm507211/Vector
Simple C++ library implementing 2D, 3D, and 4D vectors and 3D and 4D Matrices.
Language:C++3 1 01
tm507211/2PAQ
Two Phase Commit with Apportion Queries (2PAQ)
Language:C++21
tm507211/MatchEmbeds
A practical algorithm for the structure embedding problem
Language:C++20
tm507211/duet
Duet: static analysis for unbounded concurrency
Language:C00
tm507211/ocaml-mathsat
OCaml bindings for MathSAT 5
Language:OCaml00
tm507211/srk
Symbolic Reasoning Kit
Language:OCaml00