mrmiywj's repositories
tikv
Distributed transactional key value database powered by Rust and Raft
rust-rocksdb
rust wrapper for rocksdb
CS332-SJTU
Internet-based Information Extraction Technologies, project Specific Relation Extraction
kvproto
Protocol buffer files for TiKV
haskell-skeleton
Haskell Skeleton for 6.035
scala-skeleton
Scala Skeleton for 6.035
glutin
Pure Rust alternative to GLFW
prelude
Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.
emacs24-starter-kit
A cleaner version of the literate starter kit based on Emacs24
tidb
TiDB is a distributed NewSQL database compatible with MySQL protocol
rust_incremental_compile
A tool to test incremental compilation of rustc
devices
Servo-specific APIs to access various devices
rust
A safe, concurrent, practical language.
rust_learn
cis 198
coreutils
Cross-platform Rust rewrite of the GNU coreutils
awesome-rust
A curated list of Rust code and resources.
wdxtub.github.io
personal blog
leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
scalajsir-calc
A toy project to play with the Scala.js IR
browsix
Browsix is a Unix-like operating system for the browser.
scala-js
Scala.js, the Scala to JavaScript compiler
testblog
test blog
finch
Scala combinator library for building Finagle HTTP services
rapture
Rapture