Pinned Repositories
CodeSprints
My submissions for interviewstreet.com CodeSprints.
coursera-progfun-faqs
Community FAQs for Functional Programming Principles in Scala class on Coursera.
coursera-proglang-practice
Practice problems for Programming Languages class on Coursera.
Data.TotalRecall
Mnemonic values and computations in Haskell. Prototype.
gpif-datakinds
Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!
gpif-idris
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
HackerRank-Contests
My submissions for HackerRank contests.
icfpc2014
1st place solution (main round) in ICFPC 2014.
ShenzhenIO-Turing
Betelgeuse 9900, a universal programmable microcomputer running inside Shenzhen I/O, a puzzle game by Zachtronics.
pbl64k's Repositories
pbl64k/gpif-idris
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
pbl64k/coursera-progfun-faqs
Community FAQs for Functional Programming Principles in Scala class on Coursera.
pbl64k/gpif-datakinds
Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!
pbl64k/ShenzhenIO-Turing
Betelgeuse 9900, a universal programmable microcomputer running inside Shenzhen I/O, a puzzle game by Zachtronics.
pbl64k/icfpc2014
1st place solution (main round) in ICFPC 2014.
pbl64k/coursera-proglang-practice
Practice problems for Programming Languages class on Coursera.
pbl64k/HackerRank-Contests
My submissions for HackerRank contests.
pbl64k/decision-tree-builder
A simple JS UI for creating decision trees.
pbl64k/icfpc2015
My submission for the 2015 ICFP Contest. Ranked 37th in main round qualifiers.
pbl64k/icfpc2016
My, erm... my "solution" for the 2016 ICFP programming contest.
pbl64k/Picoparsec
A simple combinator-based parser library, relatively expressive, but neither space- nor time-efficient.
pbl64k/recscheme
Free folds and unfolds over algebraic datatypes. (But the price tag on the free stuff can be a little daunting.)
pbl64k/Schism
Schism is a small, embedded, Scheme-like Lisp, available as two interpreters written in JavaScript and PHP. JS REPL is Chrome-only.
pbl64k/Data.TotalRecall
Mnemonic values and computations in Haskell. Prototype.
pbl64k/burn
hhvm curl crash test
pbl64k/cl-prime-pygame
Color Lines clone in Python.
pbl64k/dotfiles
pbl64k/ExData_Plotting1
Plotting Assignment 1 for Exploratory Data Analysis
pbl64k/FP101x-Content
FP101x - Functional Programming MOOC Content
pbl64k/hack-playground
pbl64k/hhvm
A virtual machine designed for executing programs written in Hack and PHP.
pbl64k/icfpc2013
My submission (and commit history) for ICFPC 2013.
pbl64k/JsLambda
Small combinatory logic and lambda calculus lib in JavaScript.
pbl64k/moneyclock
pbl64k/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
pbl64k/RegressionGrove
Bootstrapped ensemble of regression trees. Offline training, regression service as a Gearman worker. Requires libgearman.
pbl64k/RepData_PeerAssessment1
Peer Assessment 1 for Reproducible Research
pbl64k/tuhdo.github.io
Emacs Mini Manual
pbl64k/WatLog
WatLog is a toy logic programming language, similar to a small subset of Prolog, but with different syntax and some differences in behavior. It was designed as a basis for a problem used in July 2014 functional programming contest at HackerRank.
pbl64k/Yandex.Algorithm
My solutions for Yandex.Algorithm contest.