Pinned Repositories
balddemian.github.io
gee-demo
go exercise project I: a web framework alike gin
minigrep
this is a extremely simple and easy toy grep in Rust
onedrive-vercel-index
OneDrive public directory listing, powered by Vercel and Next.js
stateright
A model checker for implementing distributed systems.
stateright.github.io
"Building Distributed Systems with Stateright"
TwoPhase
checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
nju_cs_24
BaldDemian's Repositories
BaldDemian/balddemian.github.io
BaldDemian/gee-demo
go exercise project I: a web framework alike gin
BaldDemian/minigrep
this is a extremely simple and easy toy grep in Rust
BaldDemian/onedrive-vercel-index
OneDrive public directory listing, powered by Vercel and Next.js
BaldDemian/stateright
A model checker for implementing distributed systems.
BaldDemian/stateright.github.io
"Building Distributed Systems with Stateright"
BaldDemian/TwoPhase