Difference between revisions of "Hac φ/Projects"
(Added Category:Community) |
|||
| (10 intermediate revisions by 6 users not shown) | |||
| Line 20: | Line 20: | ||
--> |
--> |
||
| − | === |
+ | === 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! |
||
| − | The [http://code.google.com/p/diagrams diagrams project] is coming along quite nicely and there will be lots to work on: developing fun/interesting examples and contrib modules that provide higher-level diagram facilities, tools to aid in diagram development, and lots of individual [http://code.google.com/p/diagrams/issues/list bugs to squash and features to add]. |
||
| + | * Richard Eisenberg |
||
| − | * Brent Yorgey |
||
| − | === |
+ | === 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! |
||
| − | GHC has had several recent fixes to help turn it into a cross compiler (thanks to Irene Knapp and Mark Lentczner,) but it's still not quite possible to easily cross compile stage2, and there still remains a hefty bit of build system and preprocessor cruft remaining. |
||
| − | |||
| − | * Austin Seipp |
||
| − | * Irene Knapp |
||
| − | * Dan Peebles |
||
| − | |||
| − | === Meta-Project === |
||
| − | |||
| − | This is not a real project, but the cannibalization of bits and pieces of others. I'm teaching a Haskell course in the Fall, and I'm always on the lookout for homework/project ideas. Stumble on anything cool in the code you are currently working on? Or, what was it about Haskell really hooked you? Last year I had fun with a SAT solver, a GADT-certified Red black tree, a concurrency monad, and the implementation of a simple imperative language. |
||
| − | [http://www.cis.upenn.edu/~cis552/11fa/schedule.html Class schedule from last year] |
||
| − | |||
| − | * Stephanie Weirich |
||
| + | * Ben Sherman |
||
== Experience == |
== Experience == |
||
| Line 50: | Line 40: | ||
! Projects |
! Projects |
||
|- |
|- |
||
| + | | Richard E. |
||
| − | | byorgey |
||
| + | | [https://ghc.haskell.org/trac/ghc GHC] |
||
| − | | [http://www.xmonad.org xmonad], [http://code.haskell.org/diagrams diagrams] |
||
| − | |- |
||
| − | | ccasin |
||
| − | | [http://hcross.sourceforge.net hcross] |
||
|- |
|- |
||
| + | | Ben Sherman |
||
| − | | mightybyte |
||
| + | | [https://github.com/idris-lang/Idris-dev/ Idris] |
||
| − | | [http://snapframework.com snap], [http://hackage.haskell.org/package/heist heist] |
||
| − | |- |
||
| − | | sweirich |
||
| − | | [http://code.google.com/p/replib/ RepLib and Unbound] |
||
|} |
|} |
||
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 |