-
hhvm Public
Forked from facebook/hhvmA virtual machine designed for executing programs written in Hack and PHP.
C++ Other UpdatedNov 12, 2017 -
-
gpif-idris Public
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
-
ShenzhenIO-Turing Public
Betelgeuse 9900, a universal programmable microcomputer running inside Shenzhen I/O, a puzzle game by Zachtronics.
-
icfpc2016 Public
My, erm... my "solution" for the 2016 ICFP programming contest.
-
coursera-proglang-practice Public
Practice problems for Programming Languages class on Coursera.
-
-
gpif-datakinds Public
Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!
-
icfpc2015 Public
My submission for the 2015 ICFP Contest. Ranked 37th in main round qualifiers.
-
recscheme Public
Free folds and unfolds over algebraic datatypes. (But the price tag on the free stuff can be a little daunting.)
-
HackerRank-Contests Public
My submissions for HackerRank contests.
-
coursera-progfun-faqs Public
Community FAQs for Functional Programming Principles in Scala class on Coursera.
-
FP101x-Content Public
Forked from ihsanfaisal/FP101x-ContentFP101x - Functional Programming MOOC Content
Creative Commons Zero v1.0 Universal UpdatedNov 26, 2014 -
-
-
-
-
WatLog Public
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 20…
Haskell Other UpdatedJul 28, 2014 -
RepData_PeerAssessment1 Public
Forked from rdpeng/RepData_PeerAssessment1Peer Assessment 1 for Reproducible Research
UpdatedMay 15, 2014 -
ExData_Plotting1 Public
Forked from rdpeng/ExData_Plotting1Plotting Assignment 1 for Exploratory Data Analysis
R UpdatedMay 9, 2014 -
ProgrammingAssignment2 Public
Forked from rdpeng/ProgrammingAssignment2Repository for Programming Assignment 2 for R Programming on Coursera
R UpdatedApr 21, 2014 -
icfpc2013 Public
My submission (and commit history) for ICFPC 2013.
Python Other UpdatedJan 5, 2014 -
-
Schism Public
Schism is a small, embedded, Scheme-like Lisp, available as two interpreters written in JavaScript and PHP. JS REPL is Chrome-only.
-
RegressionGrove Public
Bootstrapped ensemble of regression trees. Offline training, regression service as a Gearman worker. Requires libgearman.
C++ Other UpdatedJan 5, 2014 -
Data.TotalRecall Public
Mnemonic values and computations in Haskell. Prototype.
Haskell GNU General Public License v3.0 UpdatedDec 29, 2013 -
JsLambda Public
Small combinatory logic and lambda calculus lib in JavaScript.
JavaScript Other UpdatedDec 29, 2013 -
-
decision-tree-builder Public
A simple JS UI for creating decision trees.
-
Picoparsec Public
A simple combinator-based parser library, relatively expressive, but neither space- nor time-efficient.