Algebraic effects for Rust

Terraform + Python code to establish infrastructure on MongoDB Atlas and Microsoft Azure for Workforce and Workload Federated Database Authentication

Data Connector SDK and samples for Power Query and Power BI

A post-modern modal text editor.

mach-o loader for linux

A new type of shell

The Official Golang driver for MongoDB

app for breaking down complex ideas into easier fragments.

This project now lives on in a rewrite at https://gitlab.redox-os.org/redox-os/parallel

Definition of Scheme semantics in the K Framework: Recovered an original project from 2007 by {Patrick Meredith, Mark Hills, Grigore Rosu}

The K parser focused only on parsing programs.

MongoDB version manager written in Rust