Stars
A library for building fast, reliable and evolvable network services.
Lightweight vault and password manager for Android, KeePassDX allows editing encrypted data in a single file in KeePass format and fill in the forms in a secure way.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2
Mozc - a Japanese Input Method Editor designed for multi-platform
LGTM: A Fast and Accurate kNN Search Algorithm in High-dimensional Spaces
a Python library for running child processes
Empowering everyone to build reliable and efficient software.
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Change a Rich Text input area to Markdown input area on kintone
Alternative API for processes, featuring more type safety
Exclude machine-translated sites of Stack Exchange from Google search results
Compiler for Elm, a functional language for reliable webapps.
lightweight, idiomatic and composable router for building Go HTTP services
Physically-Based Rendering in glTF 2.0 using WebGL
Procedural Noise Shader Routines compatible with WebGL