« earlier | later » Page 5 of 6
Write Yourself a Scheme in 48 hours edit / delete
A Haskell tutorial that starts with "hello, world" and builds up to a Scheme subset interpreter. Fun -- "Haskell for real apps".
http://repetae.net/john/Util.Parse.hs edit / delete
John Meacham's Parsec-ish (but, apparently, nicer) parser framework for Haskell.
QuickCheck: An Automatic Testing Tool for Haskell edit / delete
"The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases."
to haskell research software testing ... on 06 February 2006
Parsec, a fast combinator parser edit / delete
The rather cool Parsec library for Haskell.
to compiler haskell parsing research software ... on 04 February 2006
The Darcs repo for Ginsu.
Lock -Free Data Structures using STMs in Haskell edit / delete
to concurrency haskell research ... on 25 December 2005
Haskell Prime - Trac edit / delete
Extensions to Haskell. I'd really like something like this for occam-pi.
to design haskell language programming research ... on 30 November 2005
Haskell Communities and Activities Report edit / delete
This is extremely cool -- we should do this for occam.
Zipper-based file server/OS | Lambda the Ultimate edit / delete
A tiny transactional filesystem written in Haskell.
to filesystem haskell os research ... on 08 October 2005
Number-parameterized types edit / delete
We already do this for arrays, but they have some other ideas too, such as numbers mod N.
to haskell programming research ... on 03 October 2005
« earlier | later » Page 5 of 6
- haskell | |
3 | + c++ |
1 | + cmp409 |
1 | + community |
1 | + compilation |
12 | + compiler |
5 | + concurrency |
1 | + conference |
1 | + coq |
1 | + correctness |
1 | + debugging |
2 | + design |
1 | + documentation |
1 | + exceptions |
1 | + filesystem |
1 | + filesystems |
1 | + formal-verification |
14 | + functional |
1 | + fuse |
1 | + future |
1 | + gale |
1 | + games |
3 | + generics |
1 | + grammar |
4 | + language |
3 | + language-design |
1 | + lexer |
1 | + libraries |
2 | + llvm |
1 | + maths |
1 | + metaprogramming |
1 | + ml |
1 | + monad |
5 | + monads |
1 | + obviously |
1 | + occam |
2 | + os |
1 | + parallel |
5 | + parsing |
2 | + perl |
12 | + programming |
1 | + publications |
1 | + reading-code |
38 | + research |
1 | + scripting |
1 | + shell |
5 | + software |
1 | + static |
1 | + static-analysis |
1 | + stunts |
4 | + teaching |
1 | + templates |
1 | + testing |
3 | + tock |
1 | + type-inference |
1 | + typechecking |
2 | + typeclass |
1 | + types |
1 | + utilities |
tasty by Adam Sampson.