|
|
| (4 intermediate revisions by 4 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 |
| |- | | |- |
| | ezyang | | | rwbarton |
| | ghc | | | GHC |
| |- | | |- |
| | keegan | | | carter |
| | [https://github.com/kmcallister various], some GHC internals, FFI tricks | | | numerical haskell, ghc |
| |-
| | |-- |
| | jmaessen
| | | dmcclean |
| | containers, unordered-containers, eager haskell, ancient haskell history | | | [https://github.com/dmcclean/bird-brain bird-brain autopilot for the FlightGear flight simulator], dimensional-dk |
| |-
| |
| | mokus | |
| | [https://github.com/mokus0 these], HOC, lambdabot, several others | |
| |} | | |} |
| | |
| | |
| | [[Category:Community]] |