A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.

A formatter for the TLA+ language.

Extracts and formats text annotations from a PDF file

An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.

A tool to archive the direct messages, images and videos from your private conversations on Twitter

The Python programming language

For running a local continuous testing environment with tox

Homebrew tap for clang static analyzer scan-build

Alfred 3 (or Alfred 2) workflow for interacting with JIRA.

A library of common data structures and algorithms written in C.

Streaming (and fast!) parser for multipart/form-data written in Cython

**Unofficial / Community** Kafka Connect MongoDB Sink Connector -> integrated 2019 into the official MongoDB Kafka Connector here: https://www.mongodb.com/kafka-connector

Google Calendar Command Line Interface

Repeat from the sign

A full-featured forum software built on Tornado and MongoDB.

Alfred workflow to search google drive

A native Kerberos client implementation for Python on Windows

AsyncSSH is a Python package which provides an asynchronous client and server implementation of the SSHv2 protocol on top of the Python asyncio framework.

A fast streaming JSON parsing library in C.

Simple command-line client for the (now defunct) Hakka Logs web service, written in Go.

query, compare, matching engine: lightweight JSON / BSON processor

A ngx_lua driver for mongodb -- Deprecated for not updating with the mongodb version

Fast and Simple MongoDB Client for R

Performs high-performance column queries from MongoDB.

Performs blazingly fast list queries from MongoDB.

simple and fast messaging server for the Internet of Things