Difference between revisions of "Hac φ/Projects"
(→Experience: Daniel Bergey) |
|||
| (28 intermediate revisions by 15 users not shown) | |||
| Line 1: | Line 1: | ||
| − | == |
+ | == 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're using git, [http://github.com github] is just dandy as well. |
||
| ⚫ | |||
| + | |||
| ⚫ | |||
[http://community.haskell.org/admin/ the community server]. |
[http://community.haskell.org/admin/ the community server]. |
||
| − | |||
| − | Once you have an account and/or a project, you upload a Darcs repository as follows. First, initialize your repository on the server: |
||
| − | |||
| − | $ ssh community.haskell.org |
||
| − | you@haskell:~$ cd /srv/code/yourproject |
||
| − | you@haskell:/srv/code/yourproject$ darcs init |
||
| − | |||
| − | Then, log out and push your repository: |
||
| − | |||
| − | $ darcs push community.haskell.org:/srv/code/yourproject |
||
== Projects == |
== Projects == |
||
| Line 27: | Line 19: | ||
* Hacker 2 |
* Hacker 2 |
||
--> |
--> |
||
| + | |||
| + | === 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 === |
||
| + | |||
| + | [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 |
||
| + | |||
| + | === Yi === |
||
| + | |||
| + | [https://github.com/yi-editor/yi Yi] is a text editor written in Haskell and extensible in Haskell. |
||
| + | |||
| + | * Siddhanathan Shanmugam |
||
== Experience == |
== Experience == |
||
| Line 36: | 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 |