Difference between revisions of "Template:Main/News"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (Automated update by hackage2hwn) |
DonStewart (talk | contribs) (Automated update by hackage2hwn) |
||
Line 1: | Line 1: | ||
'''Recent Package Updates''' [http://haskell.org/haskellwiki/Hackage_statistics http://galois.com/~dons/images/hackage-daily.png] [http://hackage.haskell.org/packages/archive/recent.rss http://haskell.org/sitewiki/images/0/09/Rss.png] |
'''Recent Package Updates''' [http://haskell.org/haskellwiki/Hackage_statistics http://galois.com/~dons/images/hackage-daily.png] [http://hackage.haskell.org/packages/archive/recent.rss http://haskell.org/sitewiki/images/0/09/Rss.png] |
||
⚫ | |||
+ | :A modern DPLL-style SAT solver |
||
⚫ | |||
+ | :A simple static blog engine |
||
⚫ | |||
+ | :DIMACS CNF parser library |
||
⚫ | |||
⚫ | |||
;[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/MonadLab-0.0.1 MonadLab 0.0.1] |
;[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/MonadLab-0.0.1 MonadLab 0.0.1] |
||
:Automatically generate layered monads |
:Automatically generate layered monads |
||
⚫ | |||
⚫ | |||
;[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/marked-pretty-0.1 marked-pretty 0.1] |
;[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/marked-pretty-0.1 marked-pretty 0.1] |
||
:Pretty-printing library, with scoping, based on pretty-1.0.0.0 |
:Pretty-printing library, with scoping, based on pretty-1.0.0.0 |
||
Line 27: | Line 33: | ||
;[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/yjftp-0.3.2 yjftp 0.3.2] |
;[http://hackage.haskell.org/cgi-bin/hackage-scripts/package/yjftp-0.3.2 yjftp 0.3.2] |
||
:CUI FTP client like 'ftp', 'ncftp' |
:CUI FTP client like 'ftp', 'ncftp' |
||
⚫ | |||
− | :ieee-utils |
||
⚫ | |||
− | :Trie-based memo functions |
||
⚫ | |||
− | :Parse literals efficiently from bytestrings |
||
[http://hackage.haskell.org/packages/archive/pkg-list.html More...] |
[http://hackage.haskell.org/packages/archive/pkg-list.html More...] |
Revision as of 07:05, 19 October 2008
- funsat 0.5.1
- A modern DPLL-style SAT solver
- panda 2008.10.19
- A simple static blog engine
- parse-dimacs 1.2
- DIMACS CNF parser library
- Glob 0.2
- Globbing library
- MonadLab 0.0.1
- Automatically generate layered monads
- marked-pretty 0.1
- Pretty-printing library, with scoping, based on pretty-1.0.0.0
- gnuplot 0.2
- 2D and 3D plots using gnuplot
- ftshell 0.3
- Shell interface to the FreeTheorems library.
- free-theorems 0.3
- Automatic generation of free theorems.
- tfp 0.1
- Type-level programming library using type families
- HTTP 3001.1.4
- A library for client-side HTTP
- numeric-prelude 0.0.5
- An experimental alternative hierarchy of numeric type classes
- vector-space 0.3.1
- Vector & affine spaces, linear maps, and derivatives (requires ghc 6.9)
- benchpress 0.2.2.3
- Micro-benchmarking with detailed statistics.
- logfloat 0.9.1.2
- Log-domain floating point numbers
- yjftp 0.3.2
- CUI FTP client like 'ftp', 'ncftp'