Cap. Hindsight's repositories
TrulyQuantumChess
A game of truly quantum chess, with interference, entanglement, etc.
capnp-bazel-example
Cap'n Proto + Bazel example repo
install-sh
Install tools by creating shell aliases
bazel_rules
Rules for bazel
CDT-plusplus
Causal Dynamical Triangulations in C++ using the CGAL library
hindsight-zsh-theme
Simple theme for oh-my-zsh
mkp224o
vanity address generator for tor onion v3 (ed25519) hidden services
mmark-cli-dockerized
Dockerized version of https://hackage.haskell.org/package/mmark-cli
powerlevel9k
The most awesome Powerline theme for ZSH around!
rust-convex-polygon
Convex polygon search algorithm (Graham's algorithm) implemented in Rust
sc
Common libraries and data structures for C.
zipperposition
An automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+rewriting
zsh-syntax-highlighting
Fish shell like syntax highlighting for Zsh.