piyush-kurur/agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
Developer Profile
piyush-kurur
Discovered public repositories for piyush-kurur in the GitHub catalog.
piyush-kurur/graphene
Public repository.
piyush-kurur/keyvalue
Public repository.
piyush-kurur/HoTT-Agda
Development of homotopy type theory in Agda
piyush-kurur/emacs-color-theme-solarized
Emacs highlighting using Ethan Schoonover’s Solarized color scheme
piyush-kurur/solarized
precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes
piyush-kurur/algorithms
Code for my Algorithms course
piyush-kurur/raaz
Type safe cryptographic library for Haskell
piyush-kurur/torus-core
Torus a dependently typed language
piyush-kurur/hott
My experiments with HoTT
piyush-kurur/haskell-platform
Public repository.
piyush-kurur/funda
FUNctional DAtabase
piyush-kurur/hitcask
a nonfunctional (it has bugs) port of bitcask to haskell
piyush-kurur/yi
The Haskell-Scriptable Editor
piyush-kurur/sample-code
This repository contains a collection of sample programms in various languages mainly to serve as illustrations
piyush-kurur/book
A textbook on informal homotopy type theory
piyush-kurur/Idris-dev
A Dependently Typed Functional Programming Language
piyush-kurur/clay
A CSS preprocessor as embedded Haskell.
piyush-kurur/pottery
A css framework based on Clay
piyush-kurur/hakyll
A static website compiler library in Haskell
piyush-kurur/hs-cipher-aes
a comprehensive fast AES implementation for haskell that supports aesni and advanced cryptographic modes.
piyush-kurur/shakespeare
Haml-like template files that are compile-time checked
piyush-kurur/yesod-admin-media
Media files for Admin skins
piyush-kurur/yesod-admin-examples
A collection of example sites that use the yesod-admin interfaces
piyush-kurur/piyush-kurur.github.com
my github homepage
piyush-kurur/yesod-admin
Abandoned: An yesod based admin for persistent objects
piyush-kurur/yesod
A RESTful Haskell web framework built on WAI.
piyush-kurur/hs-asn1-data
ASN1 Raw/BER/DER/CER reader/writer in haskell