Difference between revisions of "Hac φ/Projects"

From HaskellWiki
Jump to navigation Jump to search
Line 25: Line 25:
   
 
* Richard Eisenberg
 
* Richard Eisenberg
  +
  +
=== Idris compiler ===
  +
  +
[http://www.idris-lang.org Idris] is a general-purpose pure functional programming language with dependent types. The compiler and REPL are written in Haskell!
  +
  +
* Ben Sherman
   
 
== Experience ==
 
== Experience ==

Revision as of 00:02, 16 September 2014

Sharing your code

If you need a place to host a project so that others can help with it, we suggest patch-tag, which offers free hosting for public darcs repositories. If you're using git, github is just dandy as well.

You can also apply for an account on the community server.

Projects

If you have a project that you want to work on at the Hackathon, please describe it here.

Since Hackathons are great for teamwork, consider joining one of the projects mentioned below. If you're interested in one of these projects, add your name to the list of hackers under that project.

GHC

Richard will likely be doing some GHC hacking, as he is wont to do. Others: please join in the fun, and suggestions for projects can be provided!

  • Richard Eisenberg

Idris compiler

Idris is a general-purpose pure functional programming language with dependent types. The compiler and REPL are written in Haskell!

  • Ben Sherman

Experience

Please list projects with which you are familiar. This way, people know whom to contact for more information or guidance on a particular project.

Name Projects
Richard E. GHC
Ben Sherman Idris