Pinned Repositories
extensible-effects
Extensible Effects: An Alternative to Monad Transformers
lambdapi
A Tutorial Implementation of a Dependently Typed Lambda Calculus
liboleg
An evolving collection of Oleg Kiselyov's Haskell modules (released with his permission). See the original articles at http://okmij.org/ftp/
proofgeneral
Proof General theorem prover interface
ProPL-meetup
Github repository associated with Toronto Probabilistic Programming meetup
scalable-effects
scala port of extensible-effects (WIP)
TTFI
typed tagless final interpreters
suhailshergill's Repositories
suhailshergill/extensible-effects
Extensible Effects: An Alternative to Monad Transformers
suhailshergill/ProPL-meetup
Github repository associated with Toronto Probabilistic Programming meetup
suhailshergill/TTFI
typed tagless final interpreters
suhailshergill/blog
suhailshergill/aurum-datadiscovery
suhailshergill/emacs-scrum
dynamic scrum report generation for org-mode buffers
suhailshergill/org
Outline-based notes management and organizer
suhailshergill/research
repository to host code examples and source papers (where possible) exploring ideas from research papers
suhailshergill/badges
:flower_playing_cards: Readme Badges – Gotta catch 'em all
suhailshergill/breeze
Breeze is a numerical processing library for Scala.
suhailshergill/dfuzz
Linear Dependent Types for Differential Privacy TypeChecker
suhailshergill/docs
repo for pushing travis docs
suhailshergill/DPTable
differential private tabular data publishing
suhailshergill/ethereumj
Java implementation of the Ethereum yellowpaper
suhailshergill/hakaru
A probabilistic programming language
suhailshergill/hpp-skel
Skeleton for C++ header-only libraries
suhailshergill/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
suhailshergill/phat
Automatically exported from code.google.com/p/phat
suhailshergill/plugin.video.tmz
plugin.video.tmz
suhailshergill/predef
custom scala predef with utilities etc
suhailshergill/provorg
emacs' org-mode based provisioning system
suhailshergill/scalaboot
Scala bootstrap project
suhailshergill/script.web.viewer
kodi web viewer
suhailshergill/solidity
The Solidity Contract-Oriented Programming Language
suhailshergill/sparrow
Scala library for converting Spark rows to case classes
suhailshergill/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
suhailshergill/strans
Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.
suhailshergill/suhailshergill.github.io
suhailshergill/test-eff
suhailshergill/tp-compact-keyboard
Fn-Lock switcher for ThinkPad Compact Bluetooth Keyboard with TrackPoint