Framework for Creating Slides

Air is a free and easy-to-use secure messaging app.

The flexible backend for all your projects 🐰 Turn your DB into a headless CMS, admin panels, or apps with a custom UI, instant APIs, auth & more.

Shrinkray is a modern multi-format test-case reducer

Analysis of various tricky Rust code

Highly-available Distributed Fault-tolerant Runtime

Chaotic Testing Harness

build and install C-compatible libraries

A new kind of terminal

Rust port of simdjson

Documentation on how to use the Rust Programming Language to develop commandline applications

Travis CI and AppVeyor template to test your Rust crate on 5 architectures and publish binary releases of it for Linux, macOS and Windows

Research programming language for concurrent ownership

Serialization framework for Rust

A modern editor with a backend written in Rust.

A Kotlin reference implementation of the Ion Schema Specification.

CLI working group

SQL parsing, lineage extraction and manipulation

Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors

A DSL for the internal language of a topos

A comparison of how computational effects and handlers are implemented in various programming languages.

Pre­cise descrip­tion and oper­a­tional exe­cu­tion of exotic contracts.

Master programming by recreating your favorite technologies from scratch.

A binary serialisation format inspired by YAML, MessagePack and nvlists.

Spartan type theory

Python programs, usually short, of considerable difficulty, to perfect particular skills.

A collaborative bibliography of work related to the theory and practice of computational effects

Rust bindings for the Python interpreter

What I wish I knew when learning HoTT