Custom Query (117 matches)
Results (31 - 33 of 117)
| 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 MentorsInterested 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
Interested Students
|
|||
| #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
|
|||
