- Chicago
- @seanchen1991
Block or Report
Block or report seanchen1991
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
-
-
-
-
-
cosmos-sdk Public
Forked from cosmos/cosmos-sdk⛓️ A Framework for Building High Value Public Blockchains ✨
Go Apache License 2.0 UpdatedOct 31, 2022 -
cargo-semver-check Public
Forked from obi1kenobi/cargo-semver-checksScan your Rust crate for semver violations.
Rust Apache License 2.0 UpdatedOct 30, 2022 -
salsa Public
Forked from salsa-rs/salsaA generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Rust Apache License 2.0 UpdatedSep 1, 2022 -
this-week-in-rust Public
Forked from rust-lang/this-week-in-rustData for this-week-in-rust.org
HTML UpdatedAug 1, 2022 -
zbx-sender-rs Public
Forked from ava57r/zbx-sender-rsImplementation of Zabbix Sender Client.
Rust MIT License UpdatedJul 29, 2022 -
ibc-rs Public
Forked from informalsystems/hermesIBC Relayer (Hermes) and Modules in Rust
Rust Apache License 2.0 UpdatedJul 11, 2022 -
ibc Public
Forked from cosmos/ibcInterchain Standards (ICS) for the Cosmos network & interchain ecosystem.
TeX Apache License 2.0 UpdatedJun 6, 2022 -
tendermint-rs Public
Forked from informalsystems/tendermint-rsTendermint in Rust!
Rust Apache License 2.0 UpdatedMay 18, 2022 -
too-many-lists Public
Forked from rust-unofficial/too-many-listsLearn Rust by writing Entirely Too Many linked lists
Rust MIT License UpdatedApr 18, 2022 -
-
chalk Public
Forked from rust-lang/chalkAn implementation and definition of the Rust trait system using a PROLOG-like logic solver
-
blog.rust-lang.org Public
Forked from rust-lang/blog.rust-lang.orgThe Rust Programming Language Blog
Rust Other UpdatedFeb 18, 2022 -
triagebot Public
Forked from rust-lang/triagebotTriage Bot
Rust Apache License 2.0 UpdatedFeb 1, 2022 -
tla-apalache-workshop Public
Forked from informalsystems/tla-apalache-workshopMaterial for a workshop on Apalache and TLA+. To be populated with more examples.
Apache License 2.0 UpdatedJan 31, 2022 -
kani Public
Forked from model-checking/kaniKani Rust Verifier
Rust Apache License 2.0 UpdatedJan 26, 2022 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
-
basecoin-rs Public
Forked from informalsystems/basecoin-rsAn example ABCI application making use of tendermint-rs and ibc-rs
Rust Apache License 2.0 UpdatedJan 10, 2022 -
-
trial-and-error Public
Forked from yaahc/trial-and-errorExperiment crate for proposals from the error handling project group
Rust UpdatedOct 27, 2021 -
verification_for_dummies Public
Forked from OCamlPro/verification_for_dummiesInduction as a formal program verification technique for the uninitiated.
Rust UpdatedOct 8, 2021 -
rustc-dev-guide Public
Forked from rust-lang/rustc-dev-guideA guide to how rustc works and how to contribute to it.
HTML Apache License 2.0 UpdatedOct 7, 2021 -
toml-rs Public
Forked from toml-rs/toml-rsA TOML encoding/decoding library for Rust
Rust Apache License 2.0 UpdatedAug 21, 2021 -
-
-