karbyshev

@heliaxdev @anoma

Pinned Repositories

namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Language:Rust2.4k 111 1.2k948
namada-docs
Language:MDX48 20 4578
tiny-bip39
A Rust implementation of BIP-0039
Language:Rust0 1 01
typhon
Formalization of Typhon protocol
Language:TLA28 26 523
typhon-sml
Typhon reference implementation in Standard ML
Language:Standard ML2 5 01
analyzer
The goblint static analysis framework
Language:OCaml0 1 00
bench
The benchmark suite
Language:C0 1 00
decentralize
Decentralizing SDN Policies, POPL 2015.
Language:Coq0 1 00
karbyshev.github.io
:sparkles: Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com
Language:HTML0 0 00
slips
SatoshiLabs Improvement Proposals
Language:Markdown1.5k 82 1211.7k

karbyshev's Repositories

karbyshev/analyzer
The goblint static analysis framework
Language:OCaml0 1 00
karbyshev/bench
The benchmark suite
Language:C0 1 00
karbyshev/decentralize
Decentralizing SDN Policies, POPL 2015.
Language:Coq0 1 00
karbyshev/karbyshev.github.io
:sparkles: Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com
Language:HTML0 0 00
karbyshev/ni-formal-gc
Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
Language:Coq0 1 00
karbyshev/portable-snippets
Collection of miscellaneous portable C snippets.
Language:C0 1 00
karbyshev/purity
Language:Coq0 1 00
karbyshev/slips
SatoshiLabs Improvement Proposals
Language:Markdown0 0 00
karbyshev/solvers
Language:Coq0 2 00
karbyshev/otp
Erlang/OTP