libby's Stars
controlplaneio/cp-jenkins
ControlPlane's Opinionated Jenkins-as-Code
paragonie/awesome-appsec
A curated list of resources for learning about application security
aquasecurity/microscanner
Scan your container images for package vulnerabilities with Aqua Security
ZcashFoundation/zcon0-workshop-notes
Collection of workshop notes from Zcon0
fnogatz/swivm
SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
sodium-friends/learntocrypto
Learn to crypto workshop
jimmysong/pb-exercises
ethereum/EIPs
The Ethereum Improvement Proposal repository
FiloSottile/powersoftau
An independent implementation of the Powers of Tau MPC ceremony.
cert-manager/cert-manager
Automatically provision and manage TLS certificates in Kubernetes
MichaelBurge/pyramid-scheme
Pyramid is a language to create Ethereum smart contracts
Consensys/constellation
Peer-to-peer encrypted message exchange
ethereum/research
openzipkin/zipkin
Zipkin is a distributed tracing system
jpmorganchase/swblocks-baselib
A modern C++11 library that provides a number unique capabilities, idiomatic blocks and wrappers which are generic, flexible, compose-able and can be used in many generic contexts for development of both applications and system level components
icicle-lang/icicle-ambiata
A streaming query language.
tamarin-prover/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
tdietert/diml
Honors Thesis Summer/Fall 2015
dnaeon/go-vcr
Record and replay your HTTP interactions for fast, deterministic and accurate tests
mesosphere/net-modules
Apache Mesos modules for network isolation.
netbox-community/netbox
The premier source of truth powering network automation. Open source under Apache 2. Try NetBox Cloud free: https://netboxlabs.com/free-netbox-cloud/
mndrix/docker-swipl
Docker image for SWI Prolog
heartpunk/notes
What I've learned, read, and been up to in more detail than most people care about.
scala/scala3
The Scala 3 compiler, also known as Dotty.
EncodePanda/my_emacs_d
My Emacs configuration, the way I like it
EncodePanda/papers_i_love
Papers I love :)
propensive/rapture
Rapture
gerrit-review/gerrit
Gerrit Code Review (mirror only). DO NOT SUBMIT PULL REQUESTS HERE. Use https://gerrit-review.googlesource.com instead.
cjh1/gerrit
libressl/openbsd
Source code pulled from OpenBSD for LibreSSL - this includes most of the library and supporting code. The place to contribute to this code is via the OpenBSD CVS tree. Please mail patches to tech@openbsd.org, instead of submitting pull requests, since this tree is often rebased.