Terraform provider for CockroachDB Cloud

The perfect ⌘K menu

Assert your Go code is inlined and bounds-check eliminated

sqllogictest syntax highlighting for Visual Studio Code

Super Nintendo Entertainment System Music Software. Super Famicom Music Software

🎉 Triage Party: massively multi-player GitHub triage 🎉

Pony Object Relational Mapper

Data dumps from thesession.org

RocksDB/LevelDB inspired key-value database in Go

Interactive Go interpreter and debugger with REPL, Eval, generics and Lisp-like macros

300 KB desktop client for Slack, Skype, Twitter, Telegram, and more

Drawing in terminal with unicode braille characters

A generic latency benchmarking library.

A simple utility for running exhaustiveness checks on Go "sum types."

Better tools for thought

Convert golang test output to TeamCity format

A framework for distributed systems verification, with fault injection

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

mal - Make a Lisp

Screen Saver as a Service

Kenichi Asai's reflective programming language Black

Distributed, masterless, high performance, fault tolerant data processing

Library for processing Cassandra SSTables with Hadoop MapReduce.

Gerrit Code Review Tool Integration for the IntelliJ Platform

An Operating Function

Library to enable Visualization Driven Development in Clojure projects.

Fantasia is an interactive proof tool with an embedded program extraction engine. This repository is a read-only mirror; it does not answer pull requests. Contact Korei Klein <korei.klein - [at] - …

s(hortcut)-ack: a faster way to use ag, ack (or grep)!