Pinned Repositories
.emacs.d
vikraman's .emacs.d
2DTypes
Collaborative work on reversible computing
agda-coexp
Formalisation of some ideas related to continuations and co-exponentials
akka-argonaut
Argonaut json marshallers for akka-stream and akka-http
CompGeo
Computational Geometry algorithms library
generalised-species
Espèces généralisées de structures sur les groupoïdes
gentoostats
SoC2011: Gentoo package statistics
hs-coexp
Continuations and Co-exponentials
popl22-symmetries-artifact
Artifact for Symmetries in Reversible Programming
vikraman's Repositories
vikraman/2DTypes
Collaborative work on reversible computing
vikraman/popl22-symmetries-artifact
Artifact for Symmetries in Reversible Programming
vikraman/generalised-species
Espèces généralisées de structures sur les groupoïdes
vikraman/akka-argonaut
Argonaut json marshallers for akka-stream and akka-http
vikraman/agda-coexp
Formalisation of some ideas related to continuations and co-exponentials
vikraman/hs-coexp
Continuations and Co-exponentials
vikraman/.emacs.d
vikraman's .emacs.d
vikraman/basic-hott
personal Agda HoTT library (borrows plenty from HoTT-Agda and agda-stdlib)
vikraman/descartes
An implementation of the λλ~ calculus
vikraman/forest
a public forest
vikraman/popl25-duality-artifact
Artifact for The Duality of λ-Abstraction
vikraman/site
vikraman/ci-release-pdf-test
Can we make travis ci build pdfs and publish to github releases?
vikraman/crucible
Crucible is a library for symbolic simulation of imperative programs
vikraman/cubical
vikraman/cubicaltt
vikraman/forester-base-theme
fork of https://git.sr.ht/~jonsterling/forester-base-theme
vikraman/gentoo-haskell
official gentoo haskell overlay
vikraman/guarded-ccs-pi
vikraman/HoTT-Agda-1
Development of homotopy type theory in Agda
vikraman/icfp2020-captions
vikraman/icfp2020-papers
ICFP 2020 papers. Crowd-sourced
vikraman/iuphd
IU Thesis Document Class
vikraman/nuprl.github.io
Build artifacts for prl.ccs.neu.edu - DON'T MAKE CHANGES HERE - go to
vikraman/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
vikraman/quantifier
A quantified-self app that tracks various fitness & productivity metrics.
vikraman/sml-coexp
vikraman/surveyor
An interactive binary explorer
vikraman/wonks-talk-f17
vikraman/wonks.github.io
PL Wonks website