Empowering everyone to build reliable and efficient software.

A Flash Player emulator written in Rust

Practical mutation testing and fault injection for C and C++

A verification toolchain for Rust programs

Rust Linux-compatible kernel

Verified Rust for low-level systems code

Rust Implementation of the Buttplug Sex Toy Control Protocol

Abjects: LLM-Mediated Object System

Tiny Erlang VM

Mirror of https://gitlab.redox-os.org/redox-os/redox

💥💻💥 A data-parallel functional programming language

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

A Verified Compiler for Gallina, Written in Gallina

A fast, friendly, functional language.

A little language inspired by Rust that compiles to Go

A tool to identify unused code in Swift projects.

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

The Software Analysis Workbench

A SwiftUI view that renders LaTeX.

A cross-platform GUI library for Rust, inspired by Elm

H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server

A Proof-oriented Programming Language

A private, p2p alternative to Slack and Discord built on Tor & IPFS

Embedded Scheme for the Rust Ecosystem

🍜 A tasty Haskell web framework

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

3d city builder game

A modern TLS library in Rust

Apple cctools port for Linux and *BSD