Pinned Repositories
zeling's Repositories
zeling/lvisor
zeling/bf
Playground for the infamous esolang: Brainf*ck
zeling/nojekyll
Source code repo for my blog
zeling/prolog0
zeling/tiger
Tiger implementation in Haskell
zeling/bst
toy implementations for various balanced search trees.
zeling/unlambda
Implementation for the infamous esoteric language unlambda
zeling/assignment1
Assignment 1: automatic differentiation
zeling/assignment2-2018
(Spring 2018) Assignment 2: Graph Executor with TVM
zeling/async_exceptions
A toy for tossing exceptions around
zeling/Bear
Build EAR
zeling/bf_interp
a tutorial about writing efficient interpreters
zeling/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
zeling/chess
a chess platform for agents
zeling/dotfiles
zeling/gambit
Gambit is an efficient implementation of the Scheme programming language.
zeling/hoss
Pedagogical Hypervisor, based on MIT JOS
zeling/nom-sql
Rust SQL parser written using nom
zeling/noria
Dynamically changing, partially-stateful data-flow for web application backends.
zeling/oj
zeling/pingcap-test
zeling/pycket
A rudimentary Racket implementation using RPython
zeling/ray-tracing
zeling/seastar
High performance server-side application framework
zeling/seawsgi
a naive wsgi server built upon seastar
zeling/talent-plan
PingCAP training courses
zeling/tinykv
A course to build distributed key-value service based on TiKV model
zeling/tracing-framework-go
zeling/trtc
The Ray Tracer Challenge
zeling/yoshino
Simple structural data modeling for Rust.