Pinned Repositories
acm-icpc-cheat-sheet
Cheat sheet for ACM-ICPC. In memory of those good old days.
BadAppleOS
(touhou / 東方) x86 Operating System animating BadApple.
BadAppleOS.rs
BadAppleOS in Rust.
JOS
JOS Lab of MIT 6.828: Operating System Engineering.
project-euler-solutions
Project Euler solutions in Haskell.
ray-tracer
SDL-based implementation of a tiny and cross-platform ray tracer.
verified
Coq formalizations and proofs of (data) structures and algorithms.
xv6fs
xv6::file_system re-implemented in Rust and FUSE.
yfs
Yet Another File System (yfs) based on Paxos algorithm.
tla-plus
foreverbell's Repositories
foreverbell/acm-icpc-cheat-sheet
Cheat sheet for ACM-ICPC. In memory of those good old days.
foreverbell/BadAppleOS
(touhou / 東方) x86 Operating System animating BadApple.
foreverbell/verified
Coq formalizations and proofs of (data) structures and algorithms.
foreverbell/JOS
JOS Lab of MIT 6.828: Operating System Engineering.
foreverbell/project-euler-solutions
Project Euler solutions in Haskell.
foreverbell/yfs
Yet Another File System (yfs) based on Paxos algorithm.
foreverbell/BadAppleOS.rs
BadAppleOS in Rust.
foreverbell/ray-tracer
SDL-based implementation of a tiny and cross-platform ray tracer.
foreverbell/xv6fs
xv6::file_system re-implemented in Rust and FUSE.
foreverbell/parakeet
Hepburn Romaji + Japanese lexical analysis & texifier.
foreverbell/mini-symex
Mini Symbolic Execution Engine in Python for Educational Purposes.
foreverbell/netease-fm
NetEase Cloud Music FM client in Haskell. (网易云音乐客户端)
foreverbell/DPLL
SAT solver via DPLL algorithm in OCaml.
foreverbell/permutation-solver
A tactics for solving goals about permutation in Coq.
foreverbell/lisa-kaleidoscope
A collection of "Hello World"s in varieties of programming languages.
foreverbell/llvm-pass
LLVM Playground.
foreverbell/n
foreverbell/ctyml
Simply typed lambda calculus in C++.
foreverbell/rules_tla
Bazel rules for TLA+.
foreverbell/tla-plus
Percolator, Raft, and formal methods.
foreverbell/angr-rust-example
angr + Rust PoC.
foreverbell/tapl-haskell
TAPL in Haskell.
foreverbell/tcp-obfuscation
A multi-path proxy.
foreverbell/x86-litmus
Model-checks x86-TSO in TLC style.
foreverbell/xmonad.hs
foreverbell/dockerfiles
Collections.
foreverbell/jpf
foreverbell/raft.tla
TLA+ specification for the Raft consensus algorithm
foreverbell/spacemacs-coq
A Coq layer for Spacemacs
foreverbell/tactics
Coq tactics that turn out to be valuable ones. Intend to be used as a submodule.