Giters
Joseph Tassarotti (jtassarotti)

jtassarotti

Geek Repo

8

followers

0

following

1

stars

Home Page:https://cs.nyu.edu/~jt4767/

Github PK Tool:Github PK Tool

Joseph Tassarotti's repositories

coq-proba

A Probability Theory Library for the Coq Theorem Prover

Language:CoqLicense:Apache-2.0Stargazers:49Issues:1Issues:1

polaris

A program logic for concurrent randomized programs

Language:CoqLicense:NOASSERTIONStargazers:11Issues:0Issues:0

modal-wmiirc

Adds vim-like modal keybindings to wmii

License:NOASSERTIONStargazers:1Issues:1Issues:0

ProbCompCert

Verified compilation for probabilistic programs

Language:CoqLicense:NOASSERTIONStargazers:1Issues:0Issues:0

coq-probrec

Language:CoqLicense:Apache-2.0Stargazers:0Issues:1Issues:0

coquelicot-ext

A fork of the Coquelicot Coq analysis library with some extensions

Language:CoqLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

glock

A glock is faster than a lock.

Language:CStargazers:0Issues:1Issues:0

go-journal

Verified, concurrent, crash-safe journaling system

Language:GoLicense:MITStargazers:0Issues:0Issues:0

iris-inv-hierarchy

Iris concurrency framework with a stratified hierarchy of invariants

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

marshal

Marshaling library targeting Goose

Language:GoLicense:MITStargazers:0Issues:0Issues:0

tarski-hsap

Formalization of Tarski's High School Algebra Problem in Coq

Language:CoqStargazers:0Issues:0Issues:0

vsml

Verified, Safe ML

License:Apache-2.0Stargazers:0Issues:2Issues:0