Sean Chen's repositories
helix-config
Configuration for my helix editor setup
basecoin-rs
An example ABCI application making use of tendermint-rs and ibc-rs
blog.rust-lang.org
The Rust Programming Language Blog
cargo-semver-check
Scan your Rust crate for semver violations.
chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
ibc-rs
IBC Relayer (Hermes) and Modules in Rust
nvchad-config
NvChad configuration
rustc-dev-guide
A guide to how rustc works and how to contribute to it.
sidestacker
A SideStacker implementing in pure Rust.
tendermint-rs
Tendermint in Rust!
this-week-in-rust
Data for this-week-in-rust.org
tla-apalache-workshop
Material for a workshop on Apalache and TLA+. To be populated with more examples.
TLBoS
The Little Book of Semaphores Exercises in Rust
toml-rs
A TOML encoding/decoding library for Rust
too-many-lists
Learn Rust by writing Entirely Too Many linked lists
triagebot
Triage Bot
trial-and-error
Experiment crate for proposals from the error handling project group
verification_for_dummies
Induction as a formal program verification technique for the uninitiated.
zbx-sender-rs
Implementation of Zabbix Sender Client.