International Conference on Functional Programming (ICPF) Programming Contests

• https://en.wikipedia.org/wiki/ICFP_Programming_Contest
• https://icfpconference.org/contest.html
• https://icfpcontest.github.io
  • 2006: Universal Machine - Implement a bytecode VM, and boot into an ancient OS to solve more algorithmic challenges.
    • https://git.rcrnstn.net/rcrnstn/boundvariable
    • http://www.boundvariable.org
    • http://www.boundvariable.org/task.shtml
    • http://www.boundvariable.org/000007.html
    • http://www.boundvariable.org/000010.html
    • http://www.boundvariable.org/rulesfaq.shtml
    • Spoilers
      • http://www.boundvariable.org/press/tr-06-163.pdf
      • http://www.boundvariable.org/press/ICFP_contest_2006.mov (Youtube mirror)
      • http://www.boundvariable.org/code.shtml
  • 2000: GML - Implement a ray tracer.
    • https://www.cs.cornell.edu/icfp/
    • https://www.cs.cornell.edu/icfp/task.htm
    • https://www.cs.cornell.edu/icfp/faq.htm
    • https://www.cs.cornell.edu/icfp/contest_results.htm
    • https://www.cs.cornell.edu/icfp/oldnews.htm
    • https://www.cs.cornell.edu/icfp/publicity.htm
    • https://www.cs.cornell.edu/icfp/submission.htm
    • https://www.cs.cornell.edu/icfp/machine_desc.htm
  • 2008: Mars Rover - Drive a Mars rover from its current location to home base, avoiding craters and martians.
    • https://web.cecs.pdx.edu/~sheard/2008IcfpContest/
  • 2009: Operation Clear Skies - Pilot an orbiter to dock with various pieces of space debris, and change their orbits to reach other orbiting bodies.
    • https://web.eecs.utk.edu/~mrjantz/papers/icfp-spec.pdf
    • https://vimeo.com/6613815