technogeeky/icfp2014-papers
Accepted papers for ICFP 2014
Discovered public repositories for technogeeky in the GitHub catalog.
Accepted papers for ICFP 2014
[MSA]: Map Sat Altitude -- What orbit should I use to scan in KSP?
cyclotomic
Ru-28
Class of data structures that can be unfolded.
Combinators for manipulating locally-nameless generalized de Bruijn terms
A Haskell feature proposal with TH prototype
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
zeroth -- remove TH code and replace it with splices
metamorphisms (aka playing with: (fold, (.), unfold)
pearl-sorting-with-bialgebras
A is for Applicative
Public repository.
List of Accepted Papers to ICFP 2012, with Papers (preprints) linked
Public repository.
An implementation of Python's doctest for Haskell
An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
A mini view framework for console/irb that's easy to use, even while under its influence. Console goodies include a no-wrap table, auto-pager, tree and menu.
/ .files / -vim
protocol://uri:ports/path ... yaml?
dotfiles for msysgit
Utilities for working with positional numeral systems
A distributed computing framework for Haskell