Vikraman Choudhury

Community User

New York

Displaying 1 to 8 of 8 repositories

image

Debian is a Linux distribution that's composed entirely of free and open-source software.

1B+

5.3K

image

Minimal gentoo amd64 docker image

10y

988

image

Gmantra's conduit, the next generation

11y

254

image

ghc build with mutable cnf patches

1.1K

image

LiquidHaskell docker image for verified-instances.

327

image

Docker image for POPL'18 lh-prover artifact.

1.6K

image

299

image

Artifact for The Duality of Abstraction

281