https://github.com/foreverbell/acm-icpc-cheat-sheet

Cheat sheet for ACM-ICPC. In memory of those good old days.

acm-icpc acm-icpc-handbook algorithms

Last synced: 16 Apr 2026

https://github.com/foreverbell/badappleos

(touhou / 東方) x86 Operating System animating BadApple.

badapple operating-system

Last synced: 25 Feb 2026

https://github.com/foreverbell/verified

Coq formalizations and proofs of (data) structures and algorithms.

coq formal-verification

Last synced: 25 Oct 2025

https://github.com/foreverbell/project-euler-solutions

Project Euler solutions in Haskell.

haskell project-euler

Last synced: 17 Dec 2025

https://github.com/foreverbell/jos

JOS Lab of MIT 6.828: Operating System Engineering.

exokernel jos operating-system

Last synced: 13 Apr 2025

https://github.com/foreverbell/yfs

Yet Another File System (yfs) based on Paxos algorithm.

distributed-file-system

Last synced: 13 Apr 2025

https://github.com/foreverbell/xv6fs

xv6::file_system re-implemented in Rust and FUSE.

fuse rust xv6

Last synced: 13 Apr 2025

https://github.com/foreverbell/ray-tracer

SDL-based implementation of a tiny and cross-platform ray tracer.

Last synced: 26 Feb 2026

https://github.com/foreverbell/badappleos.rs

BadAppleOS in Rust.

badapple rust

Last synced: 13 Apr 2025

https://github.com/foreverbell/parakeet

Hepburn Romaji + Japanese lexical analysis & texifier.

haskell hepburn-romanization japanese

Last synced: 13 Apr 2025

https://github.com/foreverbell/steps

Visualizing your steps based on Google's WebGL Globe.

Last synced: 20 Jul 2025

https://github.com/foreverbell/mini-symex

Mini Symbolic Execution Engine in Python for Educational Purposes.

Last synced: 13 Apr 2025

https://github.com/foreverbell/netease-fm

NetEase Cloud Music FM client in Haskell. (网易云音乐客户端)

fm haskell netease-cloud-music

Last synced: 14 Mar 2026

https://github.com/foreverbell/dpll

SAT solver via DPLL algorithm in OCaml.

Last synced: 20 Apr 2026

https://github.com/foreverbell/permutation-solver

A tactics for solving goals about permutation in Coq.

coq tactics

Last synced: 25 Sep 2025

https://github.com/foreverbell/n

Last synced: 24 Apr 2026

https://github.com/foreverbell/llvm-pass

LLVM Playground.

Last synced: 06 Jul 2026

https://github.com/foreverbell/lisa-kaleidoscope

A collection of "Hello World"s in varieties of programming languages.

funny hello-world mona-lisa

Last synced: 17 Apr 2026

https://github.com/foreverbell/rules_tla

Bazel rules for TLA+.

bazel bazel-rules tla

Last synced: 19 Apr 2026

https://github.com/foreverbell/ctyml

Simply typed lambda calculus in C++.

Last synced: 26 Jun 2025

https://github.com/foreverbell/maze-explorer

Simple visualizer & AI to solve 44670's maze puzzle.

Last synced: 12 Jul 2025

https://github.com/foreverbell/parakeet-dsl

(experimental) An embedded DSL for parakeet.

Last synced: 10 May 2026

https://github.com/foreverbell/x86-litmus

Model-checks x86-TSO in TLC style.

Last synced: 25 Jul 2025

https://github.com/foreverbell/tapl-haskell

TAPL in Haskell.

lambda-calculus

Last synced: 03 Aug 2025

https://github.com/foreverbell/hellochemistry

[Memorization] An example of over-engineering.

Last synced: 10 Mar 2026

https://github.com/foreverbell/xmonad.hs

Last synced: 20 Apr 2026

https://github.com/foreverbell/angr-rust-example

angr + Rust PoC.

Last synced: 24 Apr 2026

https://github.com/foreverbell/git-annex-remote-qcloud

git-annex external special remote protocol for qcloud (Tencent Cloud).

Last synced: 27 May 2026

https://github.com/foreverbell/miscellaneous

:trollface:

Last synced: 06 Mar 2026

https://github.com/foreverbell/jpf

Last synced: 21 Apr 2026

https://github.com/foreverbell/tactics

Coq tactics that turn out to be valuable ones. Intend to be used as a submodule.

Last synced: 25 Jun 2026

https://github.com/foreverbell/dockerfiles

Collections.

Last synced: 04 Feb 2026

https://github.com/foreverbell/ojmon

Monitoring users' submissions on Online Judge system.

Last synced: 27 May 2026