2D isometric combo-focused hack and slash v0.2.16

A cross-platform, safe, pure-Rust graphics API.

Quil Parser & Program Builder

Specification of Quil: A Practical Quantum Instruction Set Architecture

A terminal application that simulates installing things but doesn't actually install anything

3D game engine for content production

JIT Ray Tracing using basic math

A simple Tic-Xenotation (TX) calculator

Animate Anyone: Consistent and Controllable Image-to-Video Synthesis for Character Animation

A fully compliant RISC-V computer made inside the game Terraria

🧊 Модальний гомотопічний верифікатор математики

Pure Rust multimedia format demuxing, tag reading, and audio decoding library

A massively parallel, optimal functional runtime in Rust

A collection of essays and code on algebraic methods to evaluate noisy judges on unlabeled test data.

Tutorials for Piston

RRust, a reversible Rust DSL

A fast, brute force, automatic theorem prover for first order logic

Generic and optimized primality test, factorization and various number theoretic functions with arbitrary precision based on `num`.

Automated Machine Learning in Rust 🦀

Propositional logic with types in Rust

A research project in path semantics, a re-interpretation of functions for expressing mathematics

Hypergraph Rewriting System

A WGPU 2D back-end for the Piston game engine

A terminal based game engine

The bindings to the Nuklear 2D immediate GUI library.

Language development libraries for Rust

Rust accurate sleeping. Only use native sleep as far as it can be trusted, then spin.

http://www.cycell2d.com

A library for creating and using anonymous sum types as errors in Rust