Topics and Contacts for the Haskell Communities and Activities Report
We use this list to structure the report, and to
keep track of potential topics and of volunteers working in that
area, who have sent or offered to send in the brief summaries of
which the report is composed. As long as topics are listed without
contacts, they are not likely to be covered in the next edition. If a
contact is listed, but you would like to volunteer to take over that
topic, by all means mail the contact and the editor stating that wish.
last updated: 25/10/2005
Please let us know if you have additional suggestions!
Communities/activities we are aware of are listed by topic (common
area of interest), and are grouped here under the broad top-level
categories of implementations, language extensions, libraries,
tools, and applications. Most of the communities are themselves
spread over several mailing lists or projects, and some topics
appear in several categories, with different emphasis (e.g., ffi
development depends on a small set of language extensions, on top of
which foreign function interfaces can be built as a combination of
tools and libraries; also, applications may center around a set of
libraries; language extensions are more interesting if implemented,
etc.).
General
Implementations
The people who make it all possible. Those working on different
implementations try to stay in touch; hold irregular meetings, usually in the
context of regular conferences and workshops; tend to hang around on several
mailing lists, so cross-implementation-list discussions are not unusual;
working visits and personal email complete the picture. [meeting notes have
appeared on the Haskell list, so it should be possible to get a combined
report here: - what's up with each implementation (ghc,nhc,hugs,hbc???)?
- what's in store across implementations?]
| Description | Links | Contact | Updated |
|---|
| ghc, the Glasgow Haskell Compiler |
the compiler,
glasgow-haskell-users@haskell.org,
glasgow-haskell-bugs@haskell.org,
cvs-ghc@haskell.org
|
Simon Peyton-Jones |
|
| Hugs |
the interpreter,
hugs-users@haskell.org,
hugs-bugs@haskell.org,
cvs-hugs@haskell.org
|
Ross Paterson |
|
| nhc98 |
the compiler,
nhc-users@haskell.org,
nhc-bugs@haskell.org,
cvs-nhc98@haskell.org
|
Malcolm Wallace |
|
| hmake (compilation management tool) |
|
Malcolm Wallace |
|
| Haskell-Clean Compiler |
http://aszt.inf.elte.hu/~fun_ver/#ToC11 |
Peter Diviánszky |
|
| Hacle (Haskell to Clean translation) |
http://www.cs.york.ac.uk/~mfn/hacle |
Matthew Naylor |
|
| Domain specific variations |
|---|
| Haskell on Handheld Devices |
|
Anthony Sloane |
|
| Helium |
the compiler |
Daan Leijen |
|
| Educational Domain Specific Languages |
|
John Peterson |
|
| Vital: Visual Interactive Programming |
Vital |
Keith Hanna |
|
| House |
House |
Jérémy Bobbio / Thomas Hallgren |
 |
Language extensions
| Description | Links | Contact | Updated |
|---|
| foreign function interface/ffi guide |
ffi@haskell.org |
Manuel Chakravarty |
|
| Concurrent Haskell |
|
|
|
| bound threads |
|
Wolfgang Thaller |
|
| Glasgow Parallel Haskell |
http://www.cee.hw.ac.uk/~dsg/gph/ |
Phil Trinder |
|
| Glasgow Distributed Haskell |
http://www.cee.hw.ac.uk/~dsg/gdh/ |
Henry Nystrom |
|
| Eden |
Eden homepage |
Rita Loogen |
|
| Constraint Handling Rules for type class extensions |
CHR and Chameleon |
Martin Sulzmann |
|
| Constraint-based type inferencing at Utrecht |
|
Jurriaan Hage |
|
| Generic programming (Generic Haskell, PolyP, Strafunski, generalised deriving, Drift, ...) |
|
Johan Jeuring |
|
| Template Haskell |
|
Ian Lynagh |
|
| Arrow notation |
|
Ross Paterson |
|
| Nonsequential programming: HCPN |
project home |
Claus Reinke |
|
Libraries
| Description | Links | Contact | Updated |
|---|
| LicensedPreludeExts |
|
Shae Erisson |
|
| Numeric prelude |
|
Henning Thielemann |
|
| Haskore revision |
|
Henning Thielemann |
|
| Probabilistic Functional Programming library |
homepage |
Martin Erwig |
|
| Metamath module |
darcs repo |
Marnix Klooster |
|
| Functional forms |
homepage |
Sander Evers |
|
|
-->
| Hackage and Cabal [library infrastructure] |
|
Isaac Jones |
|
| Redesigned Time library |
|
Simon Marlow |
|
| Redesigned io library |
|
Simon Marlow |
|
| System.Process library |
|
Simon Marlow |
|
| Haskell Cryptographic Library |
|
Dominic Steinitz |
|
| HSQL |
HSQL and HToolkit |
Krasimir Angelov |
|
| Takusen DBMS library |
|
Alistair Bayley |
|
| HaskellDB |
SourceForge site |
Anders Höckersten |
|
| Strafunski |
|
Ralf Lämmel / Joost Visser |
|
| Parsec |
|
Daan Leijen |
|
| DData |
|
Daan Leijen |
|
| Yampa |
|
John Peterson |
|
| monad transformer library |
|
Iavor Diatchki |
|
| HBase |
|
Ashley Yakeley |
|
| Gtk+hs |
|
Manuel Chakravarty |
|
| Gtk2HS |
|
Axel Simon |
|
| HTk |
|
Christoph Lüth |
|
| wxHaskell |
|
Daan Leijen |
|
| HToolkit |
HSQL and HToolkit |
Krasimir Angelov |
|
| HOpenGL -- Haskell binding for OpenGL and glut |
|
Sven Panne |
|
| hgl (Graphics Library) |
|
Alastair Reid |
|
| hsx11 |
|
Alastair Reid |
|
| PanTHeon |
|
Sean Seefried |
|
| Pancito |
|
Andrew Cooke |
|
| Medina (Metrics for Haskell) |
|
Chris Ryder |
|
| HaXml |
homepage |
Malcolm Wallace |
|
| HXml |
|
Joe English |
|
| Haskell xml Toolbox |
|
Uwe Schmidt |
|
| WASH/CGI |
WASH Webpage |
Peter Thiemann |
|
| Halipeto |
|
Andrew Cooke |
|
| Haskell User submitted libraries |
http://sf.net/projects/haskell-libs/ and darcs repository |
Shae Erisson |
|
| MissingH / MissingPy |
homepage |
John Goerzen |
|
| HList |
homepage |
Oleg Kiselyov / Ralf Lämmel |
|
| HAIFA -- Haskell Interoperability Framework Architecture |
Haifa main page |
Simon Foster |
|
| Dynamic loading runtime / hs-plugins |
homepage |
Don Stewart / André Pang |
|
| Haskell XML-RPC library |
Haskell XML-RPC |
Björn Bringert |
|
| Fudgets |
Fudgets and Fudgets snapshots |
Thomas Hallgren |
|
| HWSProxyGen |
|
Andre Furtado |
|
Tools
| Description | Links | Contact | Updated |
|---|
| foreign function interfaces |
|---|
| cpphs |
homepage |
Malcolm Wallace |
|
| Term rewriting tools |
|
Salvador Lucas |
|
| GreenCard |
|
Alastair Reid |
|
| c->Haskell |
|
Manuel Chakravarty |
|
| jvm-bridge |
|
Ashley Yakeley |
|
| Python bridge |
|
Brandon Moore |
|
| HOC Haskell to Objective-C binding |
HOC |
André Pang |
|
| meta-programming (Parsing, typing, pretty-printing, and transforming Haskell programs) |
|---|
| Alex (new) |
|
Simon Marlow |
|
| Happy |
|
Simon Marlow |
|
| happy-glr |
homepage |
Paul Callaghan |
|
| BNF converter |
BNFC |
Markus Forsberg |
|
| Programatica |
|
Thomas Hallgren |
|
| LVM-OPT [was: HsOpt] |
|
Eelco Visser / Jory van Zessen |
|
| Ultra |
|
Walter Guttmann |
|
| Program development and documentation |
|---|
| tracing and debugging |
|
Olaf Chitil |
|
| Hat |
the tracer |
Olaf Chitil |
|
| Buddha |
|
Bernie Pope |
|
| HaRe -- Haskell Refactoring |
|
Simon Thompson |
|
| Visual Haskell |
|
Simon Marlow |
|
| HUnit |
|
Dean Herington |
|
| Haddock |
|
Simon Marlow |
|
| Hoogle, Haskell API Search |
homepage |
Neil Mitchell |
|
| parsing/attribute grammars/syntax macros |
|
Doaitse Swierstra |
|
| QuickCheck |
|
Koen Claessen |
|
| Haskell in Eclipse |
EclipseFP |
Leif Frenzel |
|
Applications, Groups, and Individuals
| Description | Links | Contact | Updated |
|---|
| Non-commercial applications |
|---|
| Postmaster |
homepage |
Peter Simons |
|
| HScheme |
|
Ashley Yakeley |
|
| Flippi |
homepage |
Philippa Cowderoy |
|
| Riot |
homepage |
Tuomo Valkonen |
|
| Analysis tools for Rosetta |
|
Perry Alexander |
|
| Hircules, an irc client |
|
Jens Petersen |
|
| Audio signal processing |
|
Henning Thielemann |
|
| Darcs — David's Advanced Revision Control System |
|
David Roundy |
|
| Yarrow, a proof assistant for Pure Type Systems |
|
Frank Rosemeier |
|
| DEMO, Model Checking for Dynamic Epistemic Logic |
homepage |
Jan van Eijck |
|
| HasTeX |
|
Frank Rosemeier |
|
| DoCon the Algebraic Domain Constructor |
DoCon |
Serge Mechveliani |
|
| Dumatel, a prover based on equational reasoning |
Dumatel |
Serge Mechveliani |
|
| lhs2TeX |
homepage |
Andres Löh |
|
| Dazzle |
|
Arjan van IJzendoorn |
|
| yi (the Haskell extensible editor) |
darcs repo |
Don Stewart |
|
| Functional MetaPost |
|
Peter Simons |
|
| Epigram |
homepage |
Conor McBride |
|
| Commercial applications |
|---|
| Reid Consulting Ltd |
|
Alastair Reid |
|
| Aetion Technologies llc |
|
Mark Carroll |
|
| Galois Connections, Inc. |
|
Andy Moran |
|
| Research Groups |
|---|
| Artificial Intelligence and Software Technology at jwg-University Frankfurt |
|
David Sabel |
|
| Functional programming at Chalmers, Cover project |
|
Patrik Jansson / Koen Claessen |
|
| Formal Methods at Bremen University |
|
Christoph Lüth |
|
| Yale Haskell group |
|
John Peterson |
|
| Metis project at Brooklyn College, City University of New York |
|
Murray Gross |
|
| Functional Programming at Macquarie University |
|
Anthony Sloane |
|
| Functional Programming at Utrecht University |
|
Doaitse Swierstra |
|
| Functional programming at the University of Kent |
|
Olaf Chitil |
|
| Dependable Systems Group at Heriot-Watt University |
|
Phil Trinder |
|
| Programming Languages and Systems at unsw |
|
Manuel Chakravarty |
|
| Institute for Geoinformation at TU Vienna |
|
Andrew Frank |
|
| Logic and Formal Methods group, University of Minho |
|
Jorge Sousa Pinto / Joost Visser |
|
| Individual Haskellers and their projects |
|---|
| Mini tutorials and assorted small projects |
Mini tutorials |
Oleg Kiselyov |
|
| personal projects |
|
Graham Klyne |
|
| personal projects |
|
Markus Schnell |
|
| personal projects |
|
Steffen Mazanek |
|
| Bioinformatics tools |
|
Ketil Z. Malde |
|
| Simulations of language acquisition, variation
and change |
|
W. Garrett Mitchener |
|
| personal projects |
inductive inference |
Lloyd Allison |
|
| personal projects |
|
Alain Crémieux |
|
| Natural language processing |
Hal's webpage |
Hal Daume |
|
| personal projects |
|
Alex Jacobson |
|
| Programming in Haskell (book) |
preview |
Graham Hutton |
|
| Curryspondence |
demo and darcs repository |
Shae Erisson |
|
| Haskell User Groups |
|---|
| Debian Users |
|
Isaac Jones |
|
| OpenBSD Haskell |
status page |
Don Stewart |
|
| Haskell in Education |
|---|
| Beseme project |
|
Rex Page |
|
| Functional programming at school |
|
Walter Gussmann |
|
| HWS-WP |
haskell web server with plugins |
Simon Foster |
|
