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.COOL-CodeGen-MIPS
Generated (MIPS) code for some examples used in PA4 (codegen) of Coursera Compilers course.lameML
Yet another lame ML library.Love Open Source and this site? Check out how you can help us