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/parity
Fast, light, robust Ethereum implementation
libby/sniffing
Wireshark for RC
libby/cats
Lightweight, modular, and extensible library for functional programming.
libby/core
Romana core components - Micro services written in Go.
libby/dimlCompiler
Honors Thesis Summer/Fall 2015
libby/docker-101
Supporting repo for class on disposable development environments.
libby/docker-tutorial
Introductory and advanced docker tutorials. Presented at PyOhio on 7/26/14
libby/dotfiles
Them dotfiles
libby/dotty
Research platform for new language concepts and compiler technologies for Scala.
libby/emacs-haskell-tutorial
Tutorial on setting up Emacs to do Haskell programming
libby/felix
Project Calico core repository.
libby/gerrit
Gerrit Code Review (mirror only). DO NOT SUBMIT PULL REQUESTS HERE. Use https://gerrit-review.googlesource.com instead.
libby/gotraining
Comprehensive training material for learning the language.
libby/hammer
Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
libby/hopper
a sound modern language for computation and transactional resource logic
libby/juno
Smart Contracts Running on a BFT Hardened Raft
libby/learnhaskell
Learn Haskell
libby/linkerd
Resilient service mesh for cloud native apps
libby/masala
Standalone Ethereum Virtual Machine
libby/netbox
IP address management (IPAM) and data center infrastructure management (DCIM) tool.
libby/netlink
Simple netlink library for go.
libby/netplugin
Container networking for various use cases
libby/og-aws
📙 Amazon Web Services — a practical guide
libby/papers-protocols-procrastination
Some papers I'm reading/read, some things that grabbed my curiousity, and some _____.
libby/romana
The Romana Project - Installation scripts, documentation, issue tracker and wiki. Start here.
libby/scalatest
A testing tool for Scala and Java developers
libby/ScalaUpNorth2015
Slides and code for my "Elegant and Powerful Scala One-liners" talk
libby/snap
A powerful telemetry framework
libby/swift
The Swift Programming Language
libby/tensorflow
Open source software library for numerical computation using data flow graphs.