Difference between revisions of "Hac φ/Projects"
(→Experience: Daniel Bergey) |
|||
| (26 intermediate revisions by 15 users not shown) | |||
| Line 1: | Line 1: | ||
== Sharing your code == |
== Sharing your code == |
||
| − | If you need a place to host a project so that others can help with it, we suggest [http://patch-tag.com/ patch-tag], which offers free hosting for public darcs repositories. |
+ | If you need a place to host a project so that others can help with it, we suggest [http://patch-tag.com/ patch-tag], which offers free hosting for public darcs repositories. If you're using git, [http://github.com github] is just dandy as well. |
You can also apply for an account on |
You can also apply for an account on |
||
| 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! |
||
| − | By the time of the hackathon, I (Brent Yorgey) hope to have the new version of [http://hackage.haskell.org/package/diagrams diagrams] developed to the point where others can usefully hack on many parts of it in parallel. Examples of things that might need doing include hacking on the core library and layout engine itself, developing fun/interesting examples and contrib modules that provide higher-level diagram facilities, and developing backends for rendering to various formats. |
||
| + | * 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! |
||
| − | [http://hackage.haskell.org/package/RepLib RepLib] is a library for datatype-generic programming. I'd like to try adding [http://www.seas.upenn.edu/~ccasin/papers/aritygen.pdf arity genericity] to it. Lots of type-level hacking involved! |
||
| + | * Ben Sherman |
||
| − | * Chris Casinghino |
||
| + | |||
| + | === Yi === |
||
| + | |||
| + | [https://github.com/yi-editor/yi Yi] is a text editor written in Haskell and extensible in Haskell. |
||
| + | |||
| + | * Siddhanathan Shanmugam |
||
== Experience == |
== Experience == |
||
| Line 40: | Line 46: | ||
! Projects |
! Projects |
||
|- |
|- |
||
| + | | Richard E. |
||
| − | | byorgey |
||
| + | | [https://ghc.haskell.org/trac/ghc GHC] |
||
| ⚫ | |||
|- |
|- |
||
| + | | Ben Sherman |
||
| − | | ccasin |
||
| + | | [https://github.com/idris-lang/Idris-dev/ Idris] |
||
| − | | [http://hcross.sourceforge.net hcross] |
||
| + | |- |
||
| + | | Daniel Bergey |
||
| ⚫ | |||
|} |
|} |
||
| + | |||
| + | |||
| + | [[Category:Community]] |
||
Revision as of 11:53, 17 October 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
Yi
Yi is a text editor written in Haskell and extensible in Haskell.
- Siddhanathan Shanmugam
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 |
| Daniel Bergey | Diagrams |