seanchen1991

Sean Chen's repositories

helix

A post-modern modal text editor.

Language:RustMPL-2.0100

helix-config

Configuration for my helix editor setup

100

basecoin-rs

An example ABCI application making use of tendermint-rs and ibc-rs

Language:RustApache-2.0000

blog.rust-lang.org

The Rust Programming Language Blog

Language:RustNOASSERTION010

cargo-semver-check

Scan your Rust crate for semver violations.

Language:RustApache-2.0010

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

Language:RustNOASSERTION010

cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

Language:GoApache-2.0010

fish

Config files for fish shell

Language:Shell020

ibc

Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.

Language:TeXApache-2.0010

ibc-rs

IBC Relayer (Hermes) and Modules in Rust

Language:RustApache-2.0000

kani

Kani Rust Verifier

Language:RustApache-2.0010

minigrep

minigrep code from the Rust Book

Language:Rust020

nvchad-config

NvChad configuration

Language:Lua020

nvim

NeoVim config

Language:Lua020

rcc

A Rust C Compiler

Language:Rust020

rust

Empowering everyone to build reliable and efficient software.

Language:RustNOASSERTION010

rustc-dev-guide

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

Language:HTMLApache-2.0010

salsa

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

Language:RustApache-2.0010

sidestacker

A SideStacker implementing in pure Rust.

Language:Rust020

spacemacs

Spacemacs config

Language:Emacs LispMIT020

tendermint-rs

Tendermint in Rust!

Language:RustApache-2.0010

this-week-in-rust

Data for this-week-in-rust.org

Language:HTML010

tla-apalache-workshop

Material for a workshop on Apalache and TLA+. To be populated with more examples.

Apache-2.0010

TLBoS

The Little Book of Semaphores Exercises in Rust

Language:Rust020

toml-rs

A TOML encoding/decoding library for Rust

Apache-2.0000

too-many-lists

Learn Rust by writing Entirely Too Many linked lists

Language:RustMIT010

triagebot

Triage Bot

Language:RustApache-2.0010

trial-and-error

Experiment crate for proposals from the error handling project group

Language:Rust010

verification_for_dummies

Induction as a formal program verification technique for the uninitiated.

Language:Rust010

zbx-sender-rs

Implementation of Zabbix Sender Client.

Language:RustMIT000