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/GoHTML5
libby/haskell_scheme_48
Write yourself a Scheme in 48 hours
libby/Play20
Play framework 2.0
libby/catalgebra
libby/demo
Demo for AMI
libby/demo01
demo for ami
libby/diaspora
Distributed and contextual social networking
libby/proj1
testing submodules
libby/proj3
testing submodules
libby/sbt-idea
A simple-build-tool (sbt) plugin/processor for creating IntelliJ IDEA project files
libby/tic-tac-toe
Simple Tic-tac-toe game written in scala for HS.
libby/toplevel
testing submodules
libby/toplevel2
testing submodules
libby/toplevel3
libby/toplevel4
libby/Ushahidi_Web
Ushahidi is a platform that allows information collection, visualization and interactive mapping, allowing anyone to submit information through text messaging using a mobile phone, email or web form.