Personal tools

Hac φ/Projects

From HaskellWiki

< Hac φ(Difference between revisions)
Jump to: navigation, search
(Projects)
 
(11 intermediate revisions by 7 users not shown)
Line 20: Line 20:
 
-->
 
-->
   
=== Diagrams ===
+
=== GHC ===
   
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 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!
   
* Brent Yorgey
+
* Richard Eisenberg
   
=== GHC cross compilation ===
+
=== Idris compiler ===
   
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.
+
[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!
 
* 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 39: Line 40:
 
! Projects
 
! Projects
 
|-
 
|-
| byorgey
+
| Richard E.
| [http://www.xmonad.org xmonad], [http://code.haskell.org/diagrams diagrams]
+
| [https://ghc.haskell.org/trac/ghc GHC]
 
|-
 
|-
| ccasin
+
| Ben Sherman
| [http://hcross.sourceforge.net hcross]
+
| [https://github.com/idris-lang/Idris-dev/ Idris]
|-
 
| mightybyte
 
| [http://snapframework.com snap], [http://hackage.haskell.org/package/heist heist]
 
|-
 
| sweirich
 
| [http://code.google.com/p/replib/ RepLib and Unbound]
 
 
|}
 
|}
  +
  +
  +
[[Category:Community]]

Latest revision as of 00:02, 16 September 2014

Contents

[edit] 1 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.

[edit] 2 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.

[edit] 2.1 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

[edit] 2.2 Idris compiler

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

  • Ben Sherman

[edit] 3 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