pcmoritz

carla

Open-source simulator for autonomous driving research.

credis

Chain Replicated Redis

arxiv-reader

Prototype code for converting arXiv to html

asv

Airspeed Velocity: A simple Python benchmarking tool with web-based reporting

atomicarray

baselines

OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

CLucene

Swift wrapper for LucenePlusPlus

cpr

C++ Requests: Curl for People, a spiritual port of Python Requests

cython

The most widely used Python to C compiler

decomp-attn

Decomposable Attention Model for Sentence Pair Classification (from https://arxiv.org/abs/1606.01933)

fairseq-py

Facebook AI Research Sequence-to-Sequence Toolkit written in Python.

flatbuffers

Memory Efficient Serialization Library

gym

A toolkit for developing and comparing reinforcement learning algorithms.

lean

Lean Theorem Prover

lean-python-bindings

Python Bindings to the Lean Theorem Prover http://leanprover.github.io/

LucenePlusPlus

Lucene++ is an up to date C++ port of the popular Java Lucene library, a high-performance, full-featured text search engine.

numericarray

plastex

Python package to convert LaTeX markup to DOM

pulsar

ray-2

realms-wiki

Git based wiki inspired by Gollum

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.

redis-chain

Redis chain replication

reinforce

risecamp

RISECamp Tutorials

rollout

tensorflow

Computation using data flow graphs for scalable machine learning

url-encoded-form

📝 Parse and serialize url-encoded form data with Codable support.

vapor

💧 A server-side Swift web framework.

wikiextractor

A tool for extracting plain text from Wikipedia dumps