Pinned Repositories
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.
deepsea.vim
dotfiles
ESP-Website
A website to help manage the logistics of large, short-term educational programs
frap
Formal Reasoning About Programs
hack3157
hack3157-git
os4118_review
rippl
scheduler
al3623's Repositories
al3623/rippl
al3623/frap
Formal Reasoning About Programs
al3623/os4118_review
al3623/scheduler
al3623/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.
al3623/deepsea.vim
al3623/dotfiles
al3623/ESP-Website
A website to help manage the logistics of large, short-term educational programs
al3623/hack3157
al3623/hack3157-git
al3623/Halide
a language for fast, portable data-parallel computation
al3623/hasmt
Haskell music theory library
al3623/linux
Linux kernel source tree
al3623/prism
al3623/recitations
Recitation notes for cs3157, the C systems programming course with a narrative
al3623/rippl.vim
A syntax highlighter for the Rippl programming language.
al3623/rte-camhd
al3623/scala-open-letter.github.io
al3623/seatingcharts
Randomized Seating Chart Generator
al3623/unfork
unfork(2) is the inverse of fork(2). sort of.
al3623/www
Source files of the coq.inria.fr website (static part)
al3623/wyvern
The Wyvern programming language.
al3623/wyvern.vim
Syntax highlighting for Wyvern (http://wyvernlang.github.io/)