Framework for testing concurrent code on JVM languages

The automation tower defense RTS

Wormhole: A concurrent ordered in-memory key-value index with O(log L) search cost (L is search key's length)

Some custom gradle hooks for pre-commit.

Benchmark tools for ScalarDB

D port of Swiss Tables

Intellij plugin for TLA+ formal specification language.

JDK main-line development https://openjdk.org/projects/jdk

JMH projects http://openjdk.java.net/projects/code-tools/jmh/

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A toy programming language to learn how to design and implement programming languages

Helm charts to deploy ScalarDB and ScalarDL

OCaml bindings to the SQLite3 database

OCaml promises and concurrent I/O

Visual Studio Code extension for OCaml

Client-side Java library to interact with Scalar DL network

Helm charts and Terraform modules for Scalar middleware orchestration

Jepsen tests for ScalarDB and ScalarDL

Scalable and practical Byzantine fault detection middleware for transactional database systems

Universal HTAP Engine

A collection of postmortems. Sorry for the delay in merging PRs!

The Standard ML compiler that produces Lua/JavaScript

Golang implementation of the Raft consensus protocol

OptionParser is a class for command-line option analysis.

日本で Clojure/ClojureScript を利用している会社一覧

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

Painless middleware chaining for Go