This program computes, for a nucleic acid duplex, the enthalpy, the entropy and the melting temperature of the helix-coil transitions. Three types of hybridisation are possible: DNA/DNA, DNA/RNA, and RNA/RNA. The program first computes the hybridisation enthalpy and entropy from the elementary parameters of each Crick's pair by the nearest-neighbor method. Then the melting temperature is computed. The set of thermodynamic parameters can be easily changed, for instance following an experimental breakthrough.

PyWebDAV is a WebDAV server implementation in Python. It's aim is to provide a simple interface to webdav services to any application which needs it. It can be run as a daemon.

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

A night-style window theme by OriginalSeed. It is mostly black, with dark greenish elements. Comes with a minty flavour; if you prefer colds over mints you might want DarkCold instead.

Pyflakes is program to analyze Python programs and detect various errors. It works by parsing the source file, not importing it, so it is safe to use on modules with side effects. It's also much faster.

NetPerfMeter is a network performance meter for the UDP, TCP, MPTCP, SCTP and DCCP transport protocols over IPv4 and IPv6. It simultaneously transmits bidirectional flows to an endpoint and measures the resulting flow bandwidths and QoS. The results are written as vector and scalar files. The vector files can e.g. be used to create plots of the results.