ecstatic-morse Goto Github PK

maxis

Apply genetic algorithms to the Maximum Independent Set problem

mirai

Rust mid-level IR Abstract Interpreter

miri

An interpreter for Rust's mid-level intermediate representation

miryoku_zmk

Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.

mrrlsort

A stable, linearithmic sort in constant space

packed_simd

Portable Packed SIMD Vectors for Rust standard library

picoprobe

polonius

Defines the Rust borrow checker.

polonius.next

experimental datalog rules for a next gen polonius

proptest

Hypothesis-like property testing for Rust

rbtree

A red black tree for go

rfcs

RFCs for changes to Rust

ring

Safe, fast, small crypto using Rust

rubytextview

RubyTextView is an android view that can create TextView with ruby text, like furigana in Japanese or pinyin in Chinese.

rust

A safe, concurrent, practical language.

rust-analyzer

An experimental Rust compiler front-end for IDEs

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

rustc-guide

A guide to how rustc works and how to contribute to it.

rustc-perf

Website for graphing performance of rustc

rustwide

Execute your code on the Rust ecosystem.

selinux

common selinux implementation

smack

SMACK Software Verifier and Verification Toolchain

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

sqldelight

SQLDelight - Generates typesafe Kotlin APIs from SQL

stdarch

Rust's standard library vendor-specific APIs and run-time feature detection

svd2rust

Generate Rust register maps (`struct`s) from SVD files

team

Rust teams structure

this-week-in-rust

Data for this-week-in-rust.org

typenum

Compile time numbers in Rust.

typenum-ratio

Compile-time rational arithmetic based on `typenum`