A cross-platform, OpenGL terminal emulator.

A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.

A refreshingly simple data-driven game engine built in Rust

⭐️ A friendly language for building type-safe, scalable systems!

A command-line hex viewer

A data-first Rust-native UI design toolkit.

3D and 2D game engine written in Rust

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

A container runtime written in Rust

Make your JSON data collaborative and version-controlled with CRDTs

A private network system that uses WireGuard under the hood.

Fast web applications through dynamic, partially-stateful dataflow

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

A new operating system kernel with Linux binary compatibility written in Rust.

A static, type inferred and embeddable language written in Rust.

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

An implementation of differential dataflow using timely dataflow on Rust.

Better configuration for less

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

Idiomatic, GTK+-based, GUI library, inspired by Elm, written in Rust

A modern Prolog implementation written mostly in Rust.

A safe, easy systems language

A lock-free, read-optimized, concurrency primitive.

Source code for the Mun language and runtime.

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

Heapless, `static` friendly data structures

Internet Computer blockchain source: the client/replica software run by nodes

UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.

Generic purpose Just-In-time compiler for Rust.