foreverbell Goto Github PK

acm-icpc-cheat-sheet

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

angr-rust-example

angr + Rust PoC.

badappleos

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

badappleos.rs

BadAppleOS in Rust.

ctyml

Simply typed lambda calculus in C++.

dockerfiles

Collections.

dpll

SAT solver via DPLL algorithm in OCaml.

git-annex-remote-qcloud

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

hellochemistry

[Memorization] An example of over-engineering.

jos

JOS Lab of MIT 6.828: Operating System Engineering.

jpf

lisa-kaleidoscope

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

llvm-pass

LLVM Playground.

maze-explorer

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

maze-puzzle

source code of "hongbao" games from http://44670.org

mini-symex

Mini Symbolic Execution Engine in Python for Educational Purposes.

miscellaneous

:trollface:

n

netease-fm

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

ojmon

Monitoring users' submissions on Online Judge system.

parakeet

Hepburn Romaji + Japanese lexical analysis & texifier.

parakeet-dsl

(experimental) An embedded DSL for parakeet.

permutation-solver

A tactics for solving goals about permutation in Coq.

project-euler-solutions

Project Euler solutions in Haskell.

raft.tla

TLA+ specification for the Raft consensus algorithm

ray-tracer

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

rules_tla

Bazel rules for TLA+.

spacemacs-coq

A Coq layer for Spacemacs

steps

Visualizing your steps based on Google's WebGL Globe.

tactics

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