Recent additions
| 2023-10-23T21:25:33Z | AndreasAbel | http-io-streams-0.1.6.3 |
| 2023-10-23T18:25:16Z | JohnRamsdell | cpsa-4.4.3 |
| 2023-10-23T17:15:56Z | cydparser | snap-1.1.3.3 |
| 2023-10-23T17:06:09Z | KevinQuick | demangler-1.1.0.0 |
| 2023-10-23T15:55:36Z | KevinQuick | sayable-1.2.3.0 |
| 2023-10-23T15:43:43Z | JasperVanDerJeugt | profiteur-0.4.7.0 |
| 2023-10-23T14:57:23Z | NikitaVolkov | theatre-dev-0.1.1 |
| 2023-10-23T10:04:05Z | TroelsHenriksen | futhark-0.25.6 |
| 2023-10-23T09:30:25Z | AndreasAbel | peano-0.1.0.2 |
| 2023-10-23T09:28:01Z | jcockx | agda2hs-1.1 |
| 2023-10-23T09:21:38Z | jdral | quickcheck-lockstep-0.3.0 |
| 2023-10-23T05:33:21Z | NikitaVolkov | theatre-dev-0.1 |
| 2023-10-23T04:29:51Z | bravit | Chart-cairo-1.9.4.1 |
| 2023-10-23T04:25:22Z | fosskers | versions-6.0.3 |
| 2023-10-23T04:22:09Z | bravit | Chart-diagrams-1.9.5.1 |
| 2023-10-22T23:19:27Z | cydparser | heist-1.1.1.2 |
| 2023-10-22T22:22:46Z | AnthonyCowley | Frames-0.7.4.2 |
| 2023-10-22T21:47:30Z | CorentinDupont | keycloak-hs-3.0.2 |
| 2023-10-22T21:32:05Z | DavidFox | Diff-0.5 |
| 2023-10-22T19:04:13Z | phadej | character-ps-0.1 |