msuperdock

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2.5k 65 5.5k352
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
agda-unused
Check for unused code in an Agda project.
Language:Haskell9 2 20
vim-agda
Asynchronous type-checking for Agda 2.6.2.
Language:Vim Script21 3 52
vim-foldout
Outline-based folding with syntax highlighting.
Language:Vim Script12 1 00
comp141-fa23
COMP141 Course Material: Fall 2023
Language:Jupyter Notebook0 4 00
comp141-fa24
COMP141 Course Material: Fall 2024
Language:Jupyter Notebook00
comp141-sp24
COMP141 Course Material: Spring 2024
Language:Jupyter Notebook00
comp241-fa22
COMP241 projects
01
jupyterhub-deployment
Configs and READMEs for Rhodes CS JupyterHub deployment
Language:Shell2 1 241

msuperdock's Repositories

msuperdock/vim-agda
Asynchronous type-checking for Agda 2.6.2.
Language:Vim Script21 3 52
msuperdock/vim-foldout
Outline-based folding with syntax highlighting.
Language:Vim Script12 1 00
msuperdock/agda-unused
Check for unused code in an Agda project.
Language:Haskell9 2 20
msuperdock/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00