foreverbell
Follow
-
BadAppleOS Public
(touhou / 東方) x86 Operating System animating BadApple.
-
permutation-solver Public
A tactics for solving goals about permutation in Coq.
-
-
-
-
project-euler-solutions Public
Project Euler solutions in Haskell.
-
-
xv6fs Public
xv6::file_system re-implemented in Rust and FUSE.
-
verified Public
Coq formalizations and proofs of (data) structures and algorithms.
-
-
-
mini-symex Public
Mini Symbolic Execution Engine in Python for Educational Purposes.
-
acm-icpc-cheat-sheet Public
Cheat sheet for ACM-ICPC. In memory of those good old days.
-
-
tla-plus Public
Forked from pingcap/tla-plusPercolator, Raft, and formal methods.
-
-
raft.tla Public
Forked from ongardie/raft.tlaTLA+ specification for the Raft consensus algorithm
TLA UpdatedMar 8, 2018 -
spacemacs-coq Public
Forked from tchajed/spacemacs-coqA Coq layer for Spacemacs
Emacs Lisp UpdatedJan 27, 2018 -
tactics Public
Coq tactics that turn out to be valuable ones. Intend to be used as a submodule.
Coq Other UpdatedJan 16, 2018 -
netease-fm Public
NetEase Cloud Music FM client in Haskell. (网易云音乐客户端)
-
tapl-haskell Public
TAPL in Haskell.
-
-
yfs Public
Yet Another File System (yfs) based on Paxos algorithm.
-
tcp-obfuscation Public
Forked from march1993/tcp-obfuscationA multi-path proxy.
-
JOS Public
JOS Lab of MIT 6.828: Operating System Engineering.
-
-
ray-tracer Public
SDL-based implementation of a tiny and cross-platform ray tracer.
-
lisa-kaleidoscope Public
A collection of "Hello World"s in varieties of programming languages.
-
ctyml Public
Simply typed lambda calculus in C++.
-
parakeet Public
Hepburn Romaji + Japanese lexical analysis & texifier.