Pinned Repositories
qark
Tool to look for several security related Android application vulnerabilities
awesome-courses
:books: List of awesome university courses for learning Computer Science!
COMS-W4118
Notes for COMS W4118: Operating Systems - Spring '15. Taught by Professor Jae Woo Lee
CS332-SJTU
Internet-based Information Extraction Technologies, project Specific Relation Extraction
SimpleDB
a tiny database
tidb
TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.
RustPython
A Python Interpreter written in Rust
glutin
Pure Rust alternative to GLFW
servo
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
tikv
Distributed transactional key-value database, originally created to complement TiDB
mrmiywj's Repositories
mrmiywj/CS332-SJTU
Internet-based Information Extraction Technologies, project Specific Relation Extraction
mrmiywj/awesome-rust
A curated list of Rust code and resources.
mrmiywj/rust_jvm
A JVM written in Rust
mrmiywj/wiki
Personal knowledge base
mrmiywj/activities-for-you
mrmiywj/browsix
Browsix is a Unix-like operating system for the browser.
mrmiywj/cargo-apply
mrmiywj/combSort_scala
mrmiywj/coreutils
Cross-platform Rust rewrite of the GNU coreutils
mrmiywj/devices
Servo-specific APIs to access various devices
mrmiywj/emacs24-starter-kit
A cleaner version of the literate starter kit based on Emacs24
mrmiywj/finch
Scala combinator library for building Finagle HTTP services
mrmiywj/glutin
Pure Rust alternative to GLFW
mrmiywj/haskell-skeleton
Haskell Skeleton for 6.035
mrmiywj/kvproto
Protocol buffer files for TiKV
mrmiywj/leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
mrmiywj/prelude
Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.
mrmiywj/rapture
Rapture
mrmiywj/rust
A safe, concurrent, practical language.
mrmiywj/rust-rocksdb
rust wrapper for rocksdb
mrmiywj/rust_incremental_compile
A tool to test incremental compilation of rustc
mrmiywj/rust_learn
cis 198
mrmiywj/scala-js
Scala.js, the Scala to JavaScript compiler
mrmiywj/scala-skeleton
Scala Skeleton for 6.035
mrmiywj/scalajsir-calc
A toy project to play with the Scala.js IR
mrmiywj/test
mrmiywj/testblog
test blog
mrmiywj/tidb
TiDB is a distributed NewSQL database compatible with MySQL protocol
mrmiywj/tikv
Distributed transactional key value database powered by Rust and Raft
mrmiywj/wdxtub.github.io
personal blog