Style and Grammar Checker for 25+ Languages

Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)

AIMSICD • Fight IMSI-Catcher, StingRay and silent SMS!

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

Electronic Circuit Simulator in the Browser

Electronic Circuit Simulator in the Browser

🌍 The open source route planner api with plenty of features.

Internet search engine for text-oriented websites. Indexing the small, old and weird web.

This project has ended, but ChatSecure iOS continues. For Android, please use Conversations or Zom instead

BTC + BitHub = An experiment in funding privacy OSS.

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

Bits'N'Picas - Bitmap & Emoji Font Creation & Conversion Tools

Privacy Friendly App that counts your steps on Android devices.

TopoDroid code base