olebedev

immich

High performance self-hosted photo and video management solution.

UTM

Virtual machines for iOS and macOS

fish-shell

The user-friendly command line shell.

pydantic

Data validation using Python type hints

Bend

A massively parallel, high-level programming language

candle

Minimalist ML framework for Rust

HVM

A massively parallel, optimal functional runtime in Rust

burn

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

just-the-docs

A modern, high customizable, responsive Jekyll theme for documentation with built-in search.

gh-dash

A beautiful CLI dashboard for GitHub 🚀

superfile

Pretty fancy and modern terminal file manager

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

smol

A small and fast async runtime for Rust

youtube

Download Youtube Video in Golang

terminusdb

TerminusDB is a distributed database with a collaboration model

typeshare

Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.

ladybird

Truly independent web browser

may

rust stackful coroutine library

elk

A low footprint JavaScript engine for embedded systems

datatype99

Algebraic data types for C99

rust-smallvec

"Small vector" optimization for Rust: store up to a small number of items on the stack

slotmap

Slotmap data structure for Rust

june

statig

Hierarchical state machines for designing event-driven systems

smol_str

lightvm

rust-bfield

B-field implementation in Rust

ena

An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.

jaxite

RustCratesCollection

This repository provides a curated list of resources to help you find the most valuable Rust crates