Vikraman Choudhury's repositories
popl22-symmetries-artifact
Artifact for Symmetries in Reversible Programming
generalised-species
Espèces généralisées de structures sur les groupoïdes
akka-argonaut
Argonaut json marshallers for akka-stream and akka-http
agda-coexp
Formalisation of some ideas related to continuations and co-exponentials
basic-hott
personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)
agda-holes
Agda programming with holes
categories
Categories parametrized by morphism equality, in Agda
ci-release-pdf-test
Can we make travis ci build pdfs and publish to github releases?
gentoo-haskell
official gentoo haskell overlay
HoTT-Agda-1
Development of homotopy type theory in Agda
icfp2020-papers
ICFP 2020 papers. Crowd-sourced
iuphd
IU Thesis Document Class
nuprl.github.io
Build artifacts for prl.ccs.neu.edu - DON'T MAKE CHANGES HERE - go to
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
quantifier
A quantified-self app that tracks various fitness & productivity metrics.
wonks.github.io
PL Wonks website