A verification toolchain for Rust programs

Javascript implementation of the Ristretto255 group operations, built on top of the popular TweetNaCl.js crypto library

implementation of an anonymous identity stack for blockchain systems

Repo for the implementation of the isogeny based signature scheme CSI-FiSh

Repository for the current status of the LESS submission

Code and data for experiments on the effects of the LLL and BKZ reduction algorithms on differently sampled bases of the integer matrix, as given in Section 6 of our paper "Just how hard are rotati…

An FTDI FT2232H-based multi-protocol tool for hardware hacking

Open source ARM Cortex-M microcontroller library

Add CircuitPython hardware API and libraries to MicroPython & CPython devices

Test Interface for Multiple Embedded Protocols

Reverse Engineering various FRC things

A Rust Interface to the Linux sysfs GPIO interface (https://www.kernel.org/doc/Documentation/gpio/sysfs.txt)

Bulk port forwarding Kubernetes services for local development.

Go OAuth2

Terraform provider for Keycloak

PostgreSQL driver and toolkit for Go

Package gorilla/mux is a powerful HTTP router and URL matcher for building Go web servers with 🦍

Dancing Gopher + Party Parrot = P A R T Y G O P H E R

Attack Surface Management since before Attack Surface Management was a thing

Issue tracker and mirror of kubectl code

Run Kubernetes locally

🚂 Decodes url.Values into Go value(s) and Encodes Go value(s) into url.Values. Dual Array and Full map support.

Write your own virtual machine for the LC-3 computer!

Advent of Code 2018 in Go

Image processing and caching proxy

Package pwnedpass is a Go package for querying a local instance of Troy Hunt's Pwned Passwords database.

💯Go Struct and Field validation, including Cross Field, Cross Struct, Map, Slice and Array diving

Very simple compile daemon for Go

A Go library to apply RFC6902 patches and create and apply RFC7386 patches