piyush-kurur Goto Github PK

lean

Lean Theorem Prover

liquidhaskell

Liquid Types For Haskell

math-comp

Mathematical Components

mezzo

A Haskell library for typesafe music composition

mirror.cse.iitk.ac.in

Hosts scripts related to mirror management at IITK

monocypher

An easy to use, easy to deploy crypto library

monoid-extras

Miscellaneous constructions on monoids

naqsha

nixpkgs

Nix Packages collection

oee

One-end encryption, stronger than end-to-end

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

parallel

a library for parallel programming

piyush-kurur.github.com

my github homepage

piyush-kurur.github.io

Source for the home page of Piyush

pottery

A css framework based on Clay

project-diamond.github.io

The website for Project Diamond

raaz

Type safe cryptographic library for Haskell

rasa

Extremely modular text editor built in Haskell

rusting-ppk

My experiments with Rust Language

sample-code

This repository contains a collection of sample programms in various languages mainly to serve as illustrations

shakespeare

Haml-like template files that are compile-time checked

sml-redprl

Decisively Smash the Formalist Clique!—The People's Refinement Logic

smlnj

Standard ML of New Jersey

solarized

precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes

stackage

"Stable Hackage": vetted consistent packages from Hackage

successor-ml

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

torus-core

Torus a dependently typed language

trying-backpack

urweb

The Ur/Web programming language

verse-coq

This is the coq variant of verse