Custom Query (117 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (31 - 33 of 117)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Ticket Resolution Summary Owner Reporter
#39 wontfix A diagram editor none paolo
Description

GNU Dia is a quite badly maintained program, and progress has been slow. Show them how it should be done by implementing a modularized diagram editor in haskell. Experience of using these programs is a merit, since a key point is to squash all the current usability problems in Dia.

Difficulity: Medium - hard; will learn about GTK2hs, techniques to handle larger projects, potentially also dynamic linking

Interested Mentors

Interested Students

#40 wontfix Formal Verification (QuickCheck on steroids) none paolo
Description

Take a hard theorem prover and connect it to Haskell by making it a drop-in replacement for QuickCheck?, or writing a native Haskell one.

Interested Mentors

  • Patrik Jansson <patrikjNO@…>

Interested Students

  • Mark Reitblatt <reitblatt@…>
  • Kenn Knowles <kknowles@…>
#41 wontfix A Haskell Shell none anonymous
Description

Concise syntax and higher order functions would make a Haskell shell very useful. This project would aim to produce a real world shell written in Haskell, and using an embedded domain specific language to encode common operations. (See h4sh.)

Note that this has been proposed in previous years, and is very unlikely to be accepted. The community benefit is just not clear.

Interested Students

  • Luis Araujo <luis@…>
  • Alfonso Acosta <alfonso.acosta@…>
  • Juan Jose Olivera Rodriguez <jotajota@…>
  • Andre Murbach Maidl <murbach@…>
  • Adam Warski <adamw@…>
  • Will Farrington <wcfarrington@…>
  • Eray Molla <eraymolla@…>
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Note: See TracQuery for help on using queries.