cangiuli

Pinned Repositories

agda-misc
Miscellaneous Agda code.
Language:Agda0 2 00
cmu-thesis-memoir
CMU thesis template for memoir
Language:TeX6 3 01
cubical
An experimental library for Cubical Agda
Language:Agda0 1 00
dotfiles
My dotfiles.
Language:Vim Script1 2 00
hanabi
Language:Standard ML2 4 51
latex2wp
A LaTeX -> WordPress utility built on Pandoc.
Language:Haskell8 5 20
planning
15-887 course project
Language:C2 4 02
sigbovik
SIGBOVIK submissions.
Language:TeX3 3 00
spark
Various programs for the Spark Core (https://www.spark.io/).
Language:C++0 3 00
cooltt
😎TT
Language:OCaml214 19 14315

cangiuli's Repositories

cangiuli/latex2wp
A LaTeX -> WordPress utility built on Pandoc.
Language:Haskell8 5 20
cangiuli/cmu-thesis-memoir
CMU thesis template for memoir
Language:TeX6 3 01
cangiuli/sigbovik
SIGBOVIK submissions.
Language:TeX3 3 00
cangiuli/hanabi
Language:Standard ML2 4 51
cangiuli/planning
15-887 course project
Language:C2 4 02
cangiuli/dotfiles
My dotfiles.
Language:Vim Script1 2 00
cangiuli/agda-misc
Miscellaneous Agda code.
Language:Agda0 2 00
cangiuli/cubical
An experimental library for Cubical Agda
Language:Agda0 1 00
cangiuli/spark
Various programs for the Spark Core (https://www.spark.io/).
Language:C++0 3 00
cangiuli/twmc
Language:OCaml1 0
cangiuli/vim-hotcrp
Vim highlighting and folds for HotCRP offline review forms.
Language:Vim script