pnkfelix

tango

Markdown-based Literate programming in Rust, integrated with Cargo.

krabcake

Umbrella repository for Krabcake experiments

cee-scape

The cee-scape crate provides access in Rust to `setjmp` and `sigsetjmp` functionality.

presentations

Source for miscellaneous presentations

pnkfelix.github.com

user repository. intention is mainly to serve as a central point to link to other pages (or repos) of interest to me as a developer

creusot

Creusot helps you prove your code is correct in an automated fashion.

krabcake-vg

Prototype valgrind tool for Rust

rune

Rust VM for Emacs

rust

a safe, concurrent, practical language

rust-linkage-demos

Demonstrations of output formats and linker/linkage features in Rust

this-week-in-rust

Data for this-week-in-rust.org

verus

Verified Rust for low-level systems code

backtrace-rs

Backtraces in Rust

blog.rust-lang.org

cargo-minimize

A tool to help with minimization of Rust code

cbr-issue-284-demo

Demo of cargo-bisect-rustc issue 284

compiler-builtins

Porting `compiler-rt` intrinsics to Rust

debugging101

demo some debugging thoughts

ducere

kani

Kani Rust Verifier

lalrpop

LR(1) parser generator for Rust

manim

Animation engine for explanatory math videos

pyret-docs

The documentation for Pyret.

relnotes

Generate release notes for "The Rust Programming Language"

repro-for-tracing-attrs-issue

rr

Record and Replay Framework

rust-project-goals

Rust Project Goals tracker

rustc-perf

Website for graphing performance of rustc

salsa

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

team

Rust teams structure