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

DEPRECATED, Please migrate to latest version of gl-react-native that works nicely with expo-gl and unimodules

A compact Android utility for constructing and drawing rounded regular polygons.

Basemap PMTiles generation and cartographic styles for OpenStreetMap data and more

A Java library for quickly and efficiently parsing and writing UUIDs