Pinned Loading

1. dotfiles dotfiles Public

   My dotfiles for starting out with vim/tmux, etc.

   Shell 1

2. personalsite personalsite Public

   TeX

3. rs_micrograd rs_micrograd Public

   My own personal implementation of Andrej Karpathy's `micrograd` automatic differentiation engine, with potential applications later on.

   Makefile

4. verified-CDCL-datastructures verified-CDCL-datastructures Public

   Lean 1

5. guoq guoq Public

   Forked from qqq-wisc/guoq

   OpenQASM

6. gt-tinker/qwerty gt-tinker/qwerty Public

   Compiler, runtime, and examples for the Qwerty quantum programming language

   C++ 13 3