Pinned Repositories
atom-one-dark-theme
Atom One Dark - An Emacs port of the Atom One Dark theme from Atom.io.
ATS-lambda
ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
ATS-project-template
ATS-stlc
ATS-Xanadu
Implementing ATS3 in ATS2
ATS2-emacs
dtest-coq
coq files of dtest
gradescope_ocaml
TLL-arxiv-repo
qcfu-bu's Repositories
qcfu-bu/dtest-coq
coq files of dtest
qcfu-bu/gradescope_ocaml
qcfu-bu/dotfiles
qcfu-bu/TLL-arxiv-repo
qcfu-bu/atom-one-dark-theme
Atom One Dark - An Emacs port of the Atom One Dark theme from Atom.io.
qcfu-bu/ATS-lambda
qcfu-bu/ATS-project-template
qcfu-bu/ATS-stlc
qcfu-bu/ATS-Xanadu
Implementing ATS3 in ATS2
qcfu-bu/ATS2-emacs
qcfu-bu/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
qcfu-bu/CS22-Lean-2023
Lean course materials for Brown CS 22, Spring 2023
qcfu-bu/CS655-Project
qcfu-bu/krivine
qcfu-bu/lamcalc
qcfu-bu/lean4-autograder-main
qcfu-bu/lean4_autograder
qcfu-bu/leanclass
qcfu-bu/legacy-cc
The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.
qcfu-bu/moniker
Automagical variable binding library for Rust
qcfu-bu/ocaml-bindlib
Efficient binder representation in OCaml
qcfu-bu/rust-gkat
qcfu-bu/rust-lambda
qcfu-bu/rust-test
qcfu-bu/secd
qcfu-bu/spacemacs-theme
Light and dark theme for spacemacs that supports GUI and terminal
qcfu-bu/tcats-extension
type check ats
qcfu-bu/themes
A megapack of themes for GNU Emacs.
qcfu-bu/TYDE23
qcfu-bu/unicode-latex
A visual studio code extension to insert Unicode symbols given LaTeX symbol names