A compiler for fully homomorphic encryption and zero knowledge proofs

A Probabilistic Programming Language In Rust

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

A suite of utilities for converting to and working with CSV, the king of tabular file formats.

Cross-platform Rust rewrite of the GNU coreutils

Hypothesis strategies for generating Python programs, something like CSmith

Faster alternative to Python's multiprocessing.Queue (IPC FIFO queue)

A Mirror of hg.python.org (now frozen). Please use jython/jython.

A surface language for programming Stan models using python syntax

Extract semantic information about static Python code

Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.

Neural network inference the Unix way

The U.S. Web Design System helps the federal government build fast, accessible, mobile-friendly websites.

Optional static typing for Python

A static type analyzer for Python code

Performant type-checking for python.

Static Type Checker for Python

Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

A Python Interpreter written in Rust

Probabilistic programming via source rewriting

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Myia prototyping

Converts English text to IPA notation

🦀 Small exercises to get you used to reading and writing Rust code!

A modern editor with a backend written in Rust.

A common base representation of python source code for pylint and other projects

Rust bindings for the Python interpreter