Difference between revisions of "Hac Boston/Projects"
Jump to navigation
Jump to search
(→Experience: add rwbarton) |
|||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 23: | Line 23: | ||
* Hacker 2 |
* Hacker 2 |
||
--> |
--> |
||
| − | |||
| − | === Trifecta === |
||
| − | |||
| − | [http://hackage.haskell.org/package/trifecta Trifecta] is a library for dealing with both parsing and the ancillary concerns that arise once you have a parser. |
||
| − | |||
| − | Interested in this project: |
||
| − | |||
| − | * Edward Kmett |
||
| − | * Doug McClean |
||
| − | * Paul Martel |
||
| − | |||
| − | === Machine code analysis tools === |
||
| − | |||
| − | Haskell could be a great platform for analyzing and reverse-engineering machine code. We already have disassemblers ([http://hackage.haskell.org/package/hdis86 x86], [https://github.com/copumpkin/charm ARM]), object format parsers ([http://hackage.haskell.org/package/elf ELF], [http://hackage.haskell.org/package/pecoff PE/COFF], [http://hackage.haskell.org/package/macho MachO]), SMT and [http://hackage.haskell.org/package/sbv bitvector] solvers, [http://hackage.haskell.org/package/hoopl dataflow analysis], etc. Let's improve these tools and fill in the gaps. |
||
| − | |||
| − | Some concrete projects in this area: |
||
| − | |||
| − | * Write bindings to [http://radare.org/ radare] |
||
| − | * Finish up the [https://github.com/copumpkin/charm charm] disassembler for ARM, and get it on Hackage |
||
| − | * Modify [http://hackage.haskell.org/package/elf elf] to support parsing relocation records |
||
| − | * Add support to the object format libraries for writing data structures back out to disk |
||
| − | * Write a format-agnostic layer on top of the object format libraries |
||
| − | |||
| − | Interested in this project: |
||
| − | |||
| − | * Keegan McAllister |
||
| − | * Ben Gamari (ARM support in GHC linker) |
||
| − | |||
| − | === G-code backend for Diagrams === |
||
| − | |||
| − | [http://projects.haskell.org/diagrams Diagrams] is a nice library for declarative vector graphics. With a [http://linuxcnc.org/docs/html/gcode_main.html G-code] backend, it could be used to control industrial cutting equipment. |
||
| − | |||
| − | We already have a [https://github.com/kmcallister/gcode G-code output library]. For this project we would need to render Diagrams constructs to the simpler G-code commands. |
||
| − | |||
| − | Interested in this project: |
||
| − | |||
| − | * Keegan McAllister |
||
| − | * Ben Gamari (relevant hack: https://github.com/bgamari/GGen) |
||
| − | |||
| − | === Livecoding and Music === |
||
| − | |||
| − | Haskell has libraries for livecoding and music composition. We need more tutorials and tools. Focus will be on [http://slavepianos.org/rd/ut/hsc3-texts/ hsc3] for [http://www.haskell.org/haskellwiki/SuperCollider Supercollider]. |
||
| − | |||
| − | Interested in this project: |
||
| − | |||
| − | * Tom Murphy (amindfv) |
||
| − | |||
| − | === Wide fanout sequences === |
||
| − | |||
| − | I'd like to build a drop-in replacement for [http://www.haskell.org/ghc/docs/latest/html/libraries/containers/Data-Sequence.html Data.Sequence] that uses wide-fanout trees, similar to the wide-fanout tries used by Johan Tibbell in recent versions of [https://github.com/tibbe/unordered-containers unordered containers]. The hope is to come up with something that's substantially faster than lists or vectors, even for short lists, while supporting efficient (lg n) concatenation and indexing. |
||
| − | |||
| − | Interested in this project: |
||
| − | |||
| − | * Jan-Willem Maessen |
||
| − | |||
| − | === hxournal === |
||
| − | |||
| − | [http://ianwookim.org/hxournal hxournal] is a note-taking program being developed in haskell and gtk2hs. It is modeled after xournal program but it is going to have more functionalities and better flexibility. |
||
| − | |||
| − | Interested in this project: |
||
| − | |||
| − | * Ian-Woo Kim |
||
| − | |||
| − | === GObject Introspection for Haskell === |
||
| − | |||
| − | GObject Introspection provides machine-readable API descriptions for C libraries. <code>haskell-gi</code> generates Haskell bindings for C libraries using these descriptions. |
||
| − | |||
| − | http://www.haskell.org/haskellwiki/GObjectIntrospection |
||
| − | |||
| − | Interested in this project: |
||
| − | |||
| − | * Dafydd Harries |
||
| − | |||
| − | === Refactoring combinators for Haskell === |
||
| − | |||
| − | Highly experimental project! Create a code database for Haskell, support querying and transformation via Datalog, and use this to implement a set of refactoring combinators that would allow arbitrary compilation-preserving transformations of Haskell codebases. I posted some more details here: |
||
| − | |||
| − | http://pchiusano.blogspot.com/2012/01/possible-projects-for-boston-haskell.html |
||
| − | |||
| − | Interested in this project: |
||
| − | |||
| − | * Paul Chiusano |
||
| − | * Patrick Wheeler - While unfortunately not attending I wanted to register my interest. |
||
| − | |||
| − | === Smarter evaluation strategies for lazy languages === |
||
| − | |||
| − | Highly experimental project! Whiteboard ideas for a specializing, strictness propagating evaluation strategy with the same termination properties as normal order evaluation, but better space usage. Then implement a prototype. The general idea is to propagate additional strictness information at runtime so that evaluation becomes more predictable for polymorphic and higher order code. Some more details here: |
||
| − | |||
| − | http://pchiusano.blogspot.com/2012/01/possible-projects-for-boston-haskell.html |
||
| − | |||
| − | Interested in this project: |
||
| − | |||
| − | * Paul Chiusano |
||
== Experience == |
== Experience == |
||
| Line 128: | Line 35: | ||
| [http://github.com/ekmett lots of projects], mtl, general libraries |
| [http://github.com/ekmett lots of projects], mtl, general libraries |
||
|- |
|- |
||
| + | | rwbarton |
||
| − | | ezyang |
||
| − | | |
+ | | GHC |
|- |
|- |
||
| − | | keegan |
||
| − | | [https://github.com/kmcallister various], some GHC internals, FFI tricks |
||
| − | |- |
||
| − | | jmaessen |
||
| − | | containers, unordered-containers, eager haskell, ancient haskell history |
||
| − | |- |
||
| − | | mokus |
||
| − | | [https://github.com/mokus0 these], HOC, lambdabot, several others |
||
|} |
|} |
||
| + | |||
| + | |||
| + | [[Category:Community]] |
||
Revision as of 17:28, 27 May 2014
Sharing your code
If you need a place to host a project so that others can help with it, we suggest github, but if you are using darcs patch-tag 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.
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 |
|---|---|
| edwardk | lots of projects, mtl, general libraries |
| rwbarton | GHC |