Stars
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
Source code for Twitter's Recommendation Algorithm
Powerful scripting language & versatile interactive shell
Karpenter is a Kubernetes Node Autoscaler built for flexibility, performance, and simplicity.
Rune is a programming language developed to test ideas for improving security and efficiency.
Fast JSON encoder/decoder compatible with encoding/json for Go
Tool developped for "Bounded verification of message passing concurrency in Go programs."
Making it easy to write shell-like scripts in Go
The home of the CUE language! Validate and define text-based and dynamic configuration
A standalone Cassandra Prometheus Exporter with speed 🏎️
Spaghetti: a dependency analysis tool for Go packages
Go (golang) library for creating and consuming HTTP Server-Timing headers
COVID19 app backend
A mono-repo for a session type API code generation toolchain for modern web programming.