codeworm96

followers

following

stars

Pittsburgh, PA

http://codeworm96.github.io/

Organizations

dyweb

prism-river

SJTU-SE

sjtug

Zhang Yuning's starred repositories

seaweedfs

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, cross-DC active-active replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding.

Language:GoApache-2.021612 536 2693

reqwest

An easy and powerful Rust HTTP Client

Language:RustApache-2.09413 74 1284

client

Keybase Go Library, Client, Service, OS X, iOS, Android, Electron

Language:GoBSD-3-Clause8823 297 7375

awesome-grpc

A curated list of useful resources for gRPC

CC-BY-4.07401 175 14

SJTUThesis

上海交通大学 LaTeX 论文模板 | Shanghai Jiao Tong University LaTeX Thesis Template

Language:TeXApache-2.03263 54 484

sozu

Sōzu HTTP reverse proxy, configurable at runtime, fast and safe, built in Rust. It is awesome!

Language:RustAGPL-3.02919 43 624

heavydb

HeavyDB (formerly OmniSciDB)

Language:C++Apache-2.02916 134 537

tarpaulin

A code coverage tool for Rust projects

Language:RustApache-2.02398 19 519

nebulet

A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

Language:RustMIT2327 125 27

quickcheck

Automated property based testing for Rust (with shrinking).

Language:RustUnlicense2294 19 142

polonius

Defines the Rust borrow checker.

Language:RustApache-2.01280 69 51

trust

Travis CI and AppVeyor template to test your Rust crate on 5 architectures and publish binary releases of it for Linux, macOS and Windows

Language:ShellApache-2.01251 29 67

coffee-gb

Gameboy emulator in Java 8.

Language:JavaMIT1100 34 19

core

Jane Street Capital's standard library overlay

Language:OCamlMIT1098 45 121

fern

Simple, efficient logging for Rust

Language:RustMIT829 9 78

api

Build your app on Bangumi

Language:HTML817 27 104

wee_alloc

The Wasm-Enabled, Elfin Allocator

Language:RustMPL-2.0653 13 41

naglfar

A toy web browser implemented in Rust from scratch

Language:RustMIT569 31 3

wind_jvm

my simple java virtual machine~

Language:C++GPL-3.0218 15 4

concurrency-primer

The basics of low-level concurrency in a sub-30 minute read

Language:TeXNOASSERTION155 10 3

reproto

Rethinking Protocols

Language:RustApache-2.0121 3 37

deep-dive-tikv

How do we build a distributed, transactional key-value database - TiKV?

Language:HTMLApache-2.097 23 8

qcheck

Library for automatic unit testing of Standard ML modules

Language:Standard MLNOASSERTION73 10 3

community

上海地区高校技术团体组成的名字待定的团体

SJTUThesis-Markdown

（实验性项目）上海交通大学学位论文 R Markdown (bookdown) 模板

Language:TeXBSD-3-Clause39 10 2

hssqlppp

sql parser and type checker in haskell

Language:HaskellBSD-3-Clause11 20

BadAppleOS.rs

BadAppleOS in Rust.

Language:RustMIT10 30

hott_cmu80818

Companion code to CMU course on Homotopy Type Theory

Language:AgdaUnlicense500

cryptotravel

Generate my random travel plan using ETH smart contract

Language:HTMLMIT4 30

cv

My professional curriculum vitae

Language:HTML2 30