There are no reviews yet. Be the first to send feedback to the community and the maintainers!
gpif-idris
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.coursera-progfun-faqs
Community FAQs for Functional Programming Principles in Scala class on Coursera.CodeSprints
My submissions for interviewstreet.com CodeSprints.ShenzhenIO-Turing
Betelgeuse 9900, a universal programmable microcomputer running inside Shenzhen I/O, a puzzle game by Zachtronics.gpif-datakinds
Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!icfpc2014
1st place solution (main round) in ICFPC 2014.coursera-proglang-practice
Practice problems for Programming Languages class on Coursera.HackerRank-Contests
My submissions for HackerRank contests.decision-tree-builder
A simple JS UI for creating decision trees.recscheme
Free folds and unfolds over algebraic datatypes. (But the price tag on the free stuff can be a little daunting.)icfpc2016
My, erm... my "solution" for the 2016 ICFP programming contest.chktcpport
A simple tool for checking whether a remote TCP port is open.icfpc2012
Boulder Dash AI from ICFPC 2012.icfpc2015
My submission for the 2015 ICFP Contest. Ranked 37th in main round qualifiers.xpath-demo
A rather silly demo of how XPath axes work.Picoparsec
A simple combinator-based parser library, relatively expressive, but neither space- nor time-efficient.Schism
Schism is a small, embedded, Scheme-like Lisp, available as two interpreters written in JavaScript and PHP. JS REPL is Chrome-only.lameML
Yet another lame ML library.Love Open Source and this site? Check out how you can help us