User contributions
Jump to navigation
Jump to search
- 06:34, 2 April 2006 diff hist +168 Applications and libraries/Program development +haste
- 05:35, 2 April 2006 diff hist +332 Applications and libraries/Theorem provers A couple more theorem provers written in Haskell
- 04:35, 2 April 2006 diff hist +337 Applications and libraries/Theorem provers +Equinox, Koen's theorem prover
- 04:22, 2 April 2006 diff hist +870 Books wiki syntax. and add spj's papers on monads
- 04:05, 2 April 2006 diff hist +169 Books wiki style, +HsDebug
- 04:00, 2 April 2006 diff hist +2,039 Books Some more article on proving program correctness and testing. There's lots more out there though
- 02:53, 2 April 2006 diff hist +1,229 Books Another article on teaching haskell + wiki syntax
- 02:28, 2 April 2006 diff hist -13 Books wiki syntax
- 02:25, 2 April 2006 diff hist +512 Books wiki syntax. more content
- 02:19, 2 April 2006 diff hist +118 Books wiki syntax. And add some introductions to haskell that are newer than Haskell B ;)
- 01:23, 2 April 2006 diff hist +92 Books Link 'Why Haskell Matters' under 'Motivation'. Use wiki syntax while I'm here
- 08:05, 1 April 2006 diff hist +426 Applications and libraries/Theorem provers +DEMO
- 06:55, 1 April 2006 diff hist 0 Applications and libraries/Web programming typo
- 06:53, 1 April 2006 diff hist +207 Applications and libraries/Web programming +WebFunctions
- 06:21, 1 April 2006 diff hist +376 Applications and libraries/Program development +Zeroth
- 06:15, 1 April 2006 diff hist +180 Applications and libraries/Mathematics +HODE
- 05:48, 1 April 2006 diff hist +258 Applications and libraries/Web programming +HASP
- 05:29, 1 April 2006 diff hist +529 Applications and libraries/Music and sound structure, +HOpenAL, hsSDL, Minstrel
- 04:53, 1 April 2006 diff hist +482 Applications and libraries/Data structures + Bulat's compression code
- 04:51, 1 April 2006 diff hist +402 Applications and libraries/Operating system +TimeLib
- 04:46, 1 April 2006 diff hist -102 Applications and libraries york's stuff categorised
- 04:45, 1 April 2006 diff hist +307 Applications and libraries/Data structures +Auburn
- 04:43, 1 April 2006 diff hist +74 Applications and libraries/Network Point to Web programming too
- 04:41, 1 April 2006 diff hist +128 Applications and libraries/Web programming +Xtract
- 04:40, 1 April 2006 diff hist +173 Applications and libraries/Interfacing other languages +lp2fp, structure page a bit
- 04:37, 1 April 2006 diff hist +140 Applications and libraries/Program development +HsColour
- 04:33, 1 April 2006 diff hist -89 Applications and libraries - john meacham's libs. -- all have been categorised now.
- 04:32, 1 April 2006 diff hist +154 Applications and libraries/Data structures +VariableExpansion lib
- 04:29, 1 April 2006 diff hist +150 Applications and libraries/Operating system +mkstemps
- 04:28, 1 April 2006 diff hist +314 Applications and libraries/Operating system 2 logging libraries
- 04:24, 1 April 2006 diff hist +42 Applications and libraries Generalise the operating systems category
- 04:19, 1 April 2006 diff hist +301 Applications and libraries/Data structures +GenUtil
- 04:17, 1 April 2006 diff hist +125 Applications and libraries/Mathematics +Boolean
- 04:15, 1 April 2006 diff hist +162 Libraries and tools/Pretty printing +Doc
- 04:13, 1 April 2006 diff hist +153 Applications and libraries/Data structures +HsLocale
- 04:10, 1 April 2006 diff hist +357 Applications and libraries/Operating system Add JohnM's GetOptions
- 04:04, 1 April 2006 diff hist -173 Applications and libraries Point to OCaml and Clean stdlibs too
- 03:50, 1 April 2006 diff hist +201 Applications and libraries/Interfacing other languages smarty goes here
- 03:49, 1 April 2006 diff hist -281 Applications and libraries Move smarty
- 03:21, 1 April 2006 diff hist -339 Applications and libraries editor combinators go under Editors/
- 02:26, 1 April 2006 diff hist -295 Applications and libraries/Concurrency and parallelism Move process stuff into OperatingSystem/Processes
- 02:26, 1 April 2006 diff hist +534 Applications and libraries/Operating system Bulat's process lib belongs here
- 02:19, 1 April 2006 diff hist -178 Applications and libraries Move popenhs under OS category
- 02:18, 1 April 2006 diff hist +454 Applications and libraries/Theorem provers Add Cayenne
- 14:30, 31 March 2006 diff hist +415 Applications and libraries/Theorem provers Expander2 moved
- 14:22, 31 March 2006 diff hist -415 Applications and libraries Expand2 goes under Theorem provers
- 14:20, 31 March 2006 diff hist -70 Applications and libraries XML/RPC stuff is a sub category of Web now
- 14:18, 31 March 2006 diff hist -1,299 Libraries and tools/RPC Redirect to Web_programming
- 14:17, 31 March 2006 diff hist +929 Applications and libraries/Web programming Move XML/HTML rpc stuff into the XML/HTML page
- 13:39, 31 March 2006 diff hist +438 Applications and libraries/Network Structure Network category a bit
- 13:21, 31 March 2006 diff hist -7 Applications and libraries/Network Use definition-list style
- 04:52, 31 March 2006 diff hist +210 Applications and libraries/Data structures Add ByteStream, start to add sub categories for the data structures
- 04:40, 31 March 2006 diff hist +611 Applications and libraries/Interfacing other languages +MissingPy
- 04:28, 31 March 2006 diff hist +350 Libraries and tools/RPC +ldap-haskell
- 04:20, 31 March 2006 diff hist 0 m Applications and libraries/Operating system typo
- 04:16, 31 March 2006 diff hist +317 Applications and libraries/Operating system +magic-haskell, a magic-library binding
- 03:56, 31 March 2006 diff hist +198 Applications and libraries/Operating system More definition style
- 03:38, 31 March 2006 diff hist +277 Applications and libraries/Concurrency and parallelism +Bulat's Process library for concurrent streams
- 03:29, 31 March 2006 diff hist +140 Applications and libraries/Mathematics +Hmm, haskell metamath lib
- 03:21, 31 March 2006 diff hist +355 Applications and libraries/Program development +Cabal, under build systems subheading
- 03:06, 31 March 2006 diff hist +904 Applications and libraries/Theorem provers 3 more theorem proving systems
- 02:52, 31 March 2006 diff hist +36 Applications and libraries Slight reordering. Link in Concurrency and parallelism category
- 02:47, 31 March 2006 diff hist +3,968 N Applications and libraries/Concurrency and parallelism 10 or so concurrency and parallel Haskell libs and implementations I can think of
- 02:34, 31 March 2006 diff hist -282 Applications and libraries Move hMPI under parallel and concurrency subcategory
- 02:20, 31 March 2006 diff hist +330 Applications and libraries/Compiler tools +HaRP, under the regex libs section
- 02:03, 31 March 2006 diff hist +391 Applications and libraries/Program development +pivotal
- 01:06, 31 March 2006 diff hist +192 Applications and libraries/Mathematics Add Pseudonym's Math.* library
- 14:34, 30 March 2006 diff hist -2 m Applications and libraries/Theorem provers typo only
- 06:29, 30 March 2006 diff hist +135 Applications and libraries/Graphics +Fraskell, mandelbrot set generator
- 06:28, 30 March 2006 diff hist +126 Applications and libraries/Cryptography +HazGuard, an OpenPGP in Haskell
- 06:26, 30 March 2006 diff hist +139 Applications and libraries/Operating system Add 'shell utilties' section, add Igloo's gnu-ls in haskell
- 06:25, 30 March 2006 diff hist +92 Applications and libraries/Games +hetris
- 06:23, 30 March 2006 diff hist +403 Applications and libraries/Program development + igloo's haskell2latex
- 06:20, 30 March 2006 diff hist +642 Applications and libraries/Data structures +rhaskell, a library for reactive objects
- 06:13, 30 March 2006 diff hist +66 Applications and libraries Google also can be used to find some really rare haskell code
- 06:11, 30 March 2006 diff hist +147 Applications and libraries/Games +Bernie's version of space invaders
- 06:10, 30 March 2006 diff hist +594 Applications and libraries/Program development 3 debugging libraries of various kinds by Bernie Pope
- 06:07, 30 March 2006 diff hist +143 Applications and libraries/Hardware verification + a digital circuit simulator
- 06:06, 30 March 2006 diff hist +2,049 Applications and libraries/Graphics Found 10 (!) Haskell ray tracers out there, none documented here previously
- 05:10, 29 March 2006 diff hist +404 Applications and libraries/Data structures +Pointless Haskell, a library for point-free programming with recursion patterns defined as hylomorphisms
- 05:06, 29 March 2006 diff hist +293 Applications and libraries/Program development +DrHylo (Tool for deriving hylomorphisms)
- 04:57, 29 March 2006 diff hist +123 Applications and libraries/Compiler tools +HaGLR
- 04:50, 29 March 2006 diff hist +66 User talk:DonStewart Thanks Ashley
- 04:44, 29 March 2006 diff hist +109 Applications and libraries/Theorem provers +Camila
- 04:39, 29 March 2006 diff hist +414 Applications and libraries/Database interfaces Add the PURe project's VooDooM tool
- 04:34, 29 March 2006 diff hist +336 Applications and libraries/Data structures Add one of the UMinho libraries for manipulating graphs
- 04:17, 29 March 2006 diff hist +429 Applications and libraries/Data structures Add Diatchki's monadLib
- 03:54, 29 March 2006 diff hist -1 Haskell touch
- 03:49, 29 March 2006 diff hist +2,037 Old news Push back last week's news
- 03:46, 29 March 2006 diff hist +2,628 Template:Main/News This week's news
- 10:57, 28 March 2006 diff hist -66 Applications and libraries/Program development typo.
- 10:51, 28 March 2006 diff hist +730 Applications and libraries/Program development Add lambdabot and HaRe to the programmer tools
- 03:46, 28 March 2006 diff hist +738 Hoogle Description of how to invoke hoogle from vim using the lambdabot vim bindings
- 03:30, 28 March 2006 diff hist +57 Hoogle Note that hoogle is now distributed with lambdabot
- 13:59, 26 March 2006 diff hist +90 Hoogle Mention the new lambdabot command line to hoogle
- 13:47, 26 March 2006 diff hist +67 Lambdabot lambdabot works also in an offline mode as a Haskell development tool, with vim bindings
- 06:31, 25 March 2006 diff hist +619 Applications and libraries/Graphics 2 more pan implementations, and Blobs, the diagram editor
- 05:26, 25 March 2006 diff hist +173 Applications and libraries/Games Frag is a game.
- 05:19, 25 March 2006 diff hist +130 Applications and libraries/Compiler tools + JRegex
- 05:11, 25 March 2006 diff hist +155 Applications and libraries/Mathematics + John Meacham's simulated annealing code