-
Scalar, Inc
- Tokyo, Japan
- https://medium.com/@komamitsu
Stars
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
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
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 🦍
Multi tenant basic-auth plugin for Digdag
Collection of test ROMs for testing a NES emulator.
A Yojson codec generator for OCaml.