Pinned Repositories
certificate-transparency
Auditing for TLS certificates.
dapptools
Dapp, Seth, Hevm, and more
GoHTML5
haskell_scheme_48
Write yourself a Scheme in 48 hours
ic3_mpc
k8s-list-check-it-twice
Brief list of misconfigurations that cause a K8s to be vulnerable.
pedersen-commitment
Two party secure verifiable commitment
Play20
Play framework 2.0
vault-ethereum
A plugin that turns Vault into an Ethereum wallet.
libby's Repositories
libby/pedersen-commitment
Two party secure verifiable commitment
libby/cldemo-netq
libby/dalek-rangeproofs
A pure-Rust implementation of a non-interactive zero-knowledge rangeproof scheme
libby/ethereum-org
Ethereum Foundation website
libby/rust-bitcoin
Rust Bitcoin library
libby/awesome-go
A curated list of awesome Go frameworks, libraries and software
libby/bitcoin
Bitcoin Core integration/staging tree
libby/calico
Documentation and guides for Calico
libby/cardano-sl
A cryptographic currency
libby/cilium
Linux Native, HTTP Aware Networking and Security for Containers
libby/cloud-custodian
Rules engine for AWS management, DSL in yaml for query, filter, and actions on resources
libby/cni-plugin
Calico CNI plugin
libby/confd
Manage local application configuration files using templates and data from etcd or consul
libby/crypton
:lock: A framework for creating zero-knowledge mobile & desktop applications
libby/go-build
libby/hevm
A debug-oriented implementation of the Ethereum VM (EVM)
libby/HoneyBadgerBFT
The Honey Badger of BFT Protocols
libby/libsnark
C++ library for zkSNARKs
libby/linux
Linux kernel source tree
libby/linuxkit
A toolkit for building secure, portable and lean operating systems for containers
libby/nanochain
A minimal viable blockchain
libby/nanocoin
A minimum viable cryptocurrency
libby/program-y
Python 3.x based AIML 2.0 Chatbot interpreter, framework, related programs and knowledge files
libby/python-aiml
An interpreter module for AIML (Artificial Intelligence Markup Language), implemented in pure Python
libby/s3b
S3 benchmarking tool
libby/streisand
Streisand sets up a new server running L2TP/IPsec, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, a Tor bridge, and WireGuard. It also generates custom instructions for all of these services. At the end of the run you are given an HTML file with instructions that can be shared with friends, family members, and fellow activists.
libby/tamarin-prover
Main repository of the Tamarin prover for security protocol verification.
libby/uplink
A distributed ledger for secure multiparty workflows in financial markets.
libby/zcash
Zcash - Internet Money
libby/zipkin
Zipkin is a distributed tracing system