Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.

Logic programming in Rust

a tokio-enabled data store for triple data

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

The math library of Lean 4

Server to host lean games.

Fast, zero-copy HTML Parser written in Rust

High-performance browser-grade HTML5 parser

An open-source nuclear reactor analysis automation framework that helps design teams increase efficiency and quality

Tooling for converting to and from the Smithy IDL

Simple, Fast, Code first and Compile time generated OpenAPI documentation for Rust

A Git-compatible VCS that is both simple and powerful

Inochi2D SDK - Bring your characters to life

The original askama repo, please go to https://github.com/askama-rs/askama

Video.js - open source HTML5 video player

Image processing operations

Easy-to-use wrapper for WebRTC DataChannels peer-to-peer connections written in Rust and compiling to WASM.

Painless peer-to-peer WebRTC networking for rust wasm (and native!)

Rust Sqlx CRUD Derive Macros

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

Linux kernel source tree

Build fast web applications with Rust.

Rendering TipTap in React without the editor!

Async (and blocking!) Rust bindings for the Stripe API

Rust API bindings for the Stripe HTTP API.

📝 Compile-time HTML templates for Rust

🐚 An async & dynamic ORM for Rust

A state-driven web development framework for Rust with full support for server-side rendering and static generation.