Recent additions
| 2010-10-13T15:19:13Z | KiYungAhn | logic-TPTP-0.2.0.4 |
| 2010-10-13T06:29:13Z | AndyStewart | MorseCode-0.0.1 |
| 2010-10-13T04:19:32Z | ManuelChakravarty | accelerate-0.8.1.0 |
| 2010-10-12T22:36:51Z | SatnamSingh | xilinx-lava-5.0.1.5 |
| 2010-10-12T17:59:49Z | MatthiasBartsch | free-theorems-webui-0.2.0.1 |
| 2010-10-12T17:09:18Z | MatthiasBartsch | ftshell-0.3.0.1 |
| 2010-10-12T12:38:13Z | DanielDiaz | DTC-1.0.0 |
| 2010-10-12T10:04:27Z | EugeneKirpichov | timeplot-0.1.8 |
| 2010-10-12T09:35:23Z | TristanSkudlik | YFrob-0.4 |
| 2010-10-12T08:47:35Z | DanielSeidel | free-theorems-0.3.1.3 |
| 2010-10-12T06:37:49Z | JosePedroMagalhaes | regular-extras-0.2.0 |
| 2010-10-12T06:34:42Z | JosePedroMagalhaes | regular-0.3.0 |
| 2010-10-11T23:54:09Z | AndreasBaldeau | epass-0.1 |
| 2010-10-11T19:06:22Z | ThomasDuBuisson | crypto-api-0.1.2.2 |
| 2010-10-11T19:03:37Z | ThomasDuBuisson | crypto-api-0.1.2.1 |
| 2010-10-11T17:37:30Z | JamesSanders | haskell-qrencode-1.0.3 |
| 2010-10-11T16:55:09Z | JohanTibell | network-bytestring-0.1.3.2 |
| 2010-10-11T14:11:28Z | GregoryCollins | snap-server-0.2.13.3 |
| 2010-10-11T14:03:44Z | StefanWehr | HTF-0.5.0.1 |
| 2010-10-11T13:38:38Z | StephenTetley | wumpus-basic-0.11.0 |