Pinned Repositories
algorand-specs
Algorand Specifications
authlib
The ultimate Python library in building OAuth, OpenID Connect clients and servers. JWS,JWE,JWK,JWA,JWT included.
bitcoin
Bitcoin integration/staging tree
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
fsnotify
File system notifications for Go.
go-algorand
Algorand's official implementation in Go.
go-rpcgen
histar
HiStar operating system (not under active development)
verus-experiments
zeldovich's Repositories
zeldovich/go-rpcgen
zeldovich/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
zeldovich/go-algorand
Algorand's official implementation in Go.
zeldovich/verus-experiments
zeldovich/algorand-specs
Algorand Specifications
zeldovich/authlib
The ultimate Python library in building OAuth, OpenID Connect clients and servers. JWS,JWE,JWK,JWA,JWT included.
zeldovich/CompCert
The CompCert formally-verified C compiler
zeldovich/cryptobib-db
CryptoBib Database for Developers
zeldovich/go-algorand-sdk
Algorand Golang SDK
zeldovich/goose
Goose converts a small subset of Go to Coq
zeldovich/icebreaker
Web app that allows students to ask real-time, anonymous questions during class
zeldovich/iris-named-props
Named Props for Iris
zeldovich/ledger-app-algorand
zeldovich/msgp
A Go code generator for MessagePack / msgpack.org[Go]
zeldovich/msgp2
zeldovich/perennial
Verifying concurrent crash-safe systems
zeldovich/pulse-tutorial-24
Files and devcontainer for POPL 24 Tutorial on Pulse
zeldovich/pywasm
A WebAssembly interpreter written in pure Python
zeldovich/synology-wireguard
WireGuard support for some Synology NAS drives
zeldovich/tapir
TAPIR distributed transactional storage system
zeldovich/testrepo
zeldovich/testrepo-1
zeldovich/tn40xx-driver
Linux driver for tn40xx from Tehuti Networks
zeldovich/touchstone-auth
Access Touchstone SSO sites easily without a web browser.
zeldovich/verified-storage
Storage systems with verified correctness properties
zeldovich/verus
Verified Rust for low-level systems code
zeldovich/verus-grove
zeldovich/wasmtime
A fast and secure runtime for WebAssembly
zeldovich/xous-core
The Xous microkernel
zeldovich/zytemp_mqtt
MQTT interface for Holtek USB-zyTemp CO2 sensors