Piyush P Kurur's repositories
yesod-admin
Abandoned: An yesod based admin for persistent objects
sample-code
This repository contains a collection of sample programms in various languages mainly to serve as illustrations
ghc-staticptr-experiments
Experimental code that checks some features of static ptr in GHC
hackers-revenge
Surviving tasteless, mindless "input forms" one org file at a time.
attoparsec
A fast Haskell library for parsing ByteStrings
backpack-nat
use of backpack and Nat kinded types
coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
cryptonite
lowlevel set of cryptographic primitives for haskell
foundation
Empire strikes back
ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
liquidhaskell
Liquid Types For Haskell
mirror.cse.iitk.ac.in
Hosts scripts related to mirror management at IITK
Monocypher
An easy to use, easy to deploy crypto library
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
parallel
a library for parallel programming
piyush-kurur.github.io
Source for the home page of Piyush
rusting-ppk
My experiments with Rust Language
Successor-ML
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
yi
The Haskell-Scriptable Editor