Template:Main/News
Revision as of 07:05, 19 October 2008 by DonStewart (talk | contribs) (Automated update by hackage2hwn)
- 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'