esppig

code cat coffee 🎶

XYZ-SpaceChina

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML0 0 00
coroutine
Language:C0 1 00
EOPL-v3-zh
translate EOPL into chinese~
1 1 01
esppig
00
esppig.github.io
site
Language:HTML0 1 00
luago
impl Lua via Golang
Language:Go0 1 00
neovim-conf
Language:Lua0 1 00
papers-we-love
Papers from the computer science community to read and discuss.
Language:Shell00
parrot
A Cloned Sparrow Language implement in C.
Language:C0 1 00
SqliteDIY-Rust
A Sqlite Database Implement in Rust.
Language:C10

esppig's Repositories

esppig/EOPL-v3-zh
translate EOPL into chinese~
1 1 01
esppig/SqliteDIY-Rust
A Sqlite Database Implement in Rust.
Language:C10
esppig/cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML0 0 00
esppig/coroutine
Language:C0 1 00
esppig/esppig
00
esppig/esppig.github.io
site
Language:HTML0 1 00
esppig/luago
impl Lua via Golang
Language:Go0 1 00
esppig/neovim-conf
Language:Lua0 1 00
esppig/papers-we-love
Papers from the computer science community to read and discuss.
Language:Shell00
esppig/parrot
A Cloned Sparrow Language implement in C.
Language:C0 1 00
esppig/raft-go
Implement Raft via Golang.
Language:Go1 0
esppig/The-Little-Schemer
Practice for Book<The-Little-Schemer>.
Language:Scheme
esppig/toydb
Distributed SQL database in Rust, written as a learning project
esppig/tutorials
An RPC framework developing tutorial
Language:Rust0 0
esppig/xdp-tutorial
XDP tutorial
esppig/yuzu
Nintendo Switch emulator (unofficial mirror fork)