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 transaction manager

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

Multi tenant basic-auth plugin for Digdag

Vanilla.js replacement of jstree

Collection of test ROMs for testing a NES emulator.

Falling - A game for the NES

NES Emulator written in Kotlin

A Yojson codec generator for OCaml.

Readings in Databases