heavypackets

rust-iterator-emoji

Learn Rust iterator methods via emoji

simple-secrets

Simple API driven secrets store written in Rust for demo purposes

rust-spiffe

Rust SPIFFE library -- Workload API client

rusty-datatypes

Procedural generators for singletons, including newtypes & sigma types (dependent pairs), and advanced algebraic datatypes without boilerplate.

prezo

Talk slides and presentations

rusty-state-graph

Experiments in procedurally generated state machines as graphs (DFA)

chemlab

The chemistry library you were waiting for

dcos-stack-deploy

donutsalon

:donut:

franz

Franz is a free messaging app for services like WhatsApp, Slack, Messenger and many more.

fstarlang.github.io

The website of all things F*

grpc-rs

The gRPC library for Rust built on C Core library and futures

incognito-chain

A platform for decentralized privacy coins

markdown-resume

Generate a responsive CSS3 and HTML5 resume with Markdown, with optional PDF output.

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

rocket_cors

Cross-origin resource sharing (CORS) for Rocket.rs applications

rust-openssl

OpenSSL bindings for Rust

rustup.rs

The Rust toolchain installer

safe

Working Group Proposal: Secure Access for Everyone (SAFE)

skr

Skattr DSL (skr) implementation

SmartThingsPublic

SmartThings open-source DeviceTypeHandlers and SmartApps code

spiffe

The SPIFFE Project

spiffe-telemetry-demo

spire

The SPIFFE Runtime Environment

spire-centos

SPIFFE SPIRE servercontainer image, using Centos 7 base image

technical-resume

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

trelabels

Trelabels for Trello

varisat

SAT solver written in Rust

why-rust

Slides from Sealed Rust talk by James Munns at Rust LDN meetup