Recent additions
| 2026-07-08T14:01:27Z | z0 | xcodec-1.1.0.0 |
| 2026-07-08T14:01:00Z | IvanPerez | copilot-4.8 |
| 2026-07-08T14:00:57Z | IvanPerez | copilot-visualizer-4.8 |
| 2026-07-08T14:00:55Z | IvanPerez | copilot-verifier-4.8 |
| 2026-07-08T14:00:52Z | IvanPerez | copilot-libraries-4.8 |
| 2026-07-08T14:00:50Z | IvanPerez | copilot-language-4.8 |
| 2026-07-08T14:00:47Z | IvanPerez | copilot-theorem-4.8 |
| 2026-07-08T14:00:43Z | IvanPerez | copilot-interpreter-4.8 |
| 2026-07-08T14:00:41Z | IvanPerez | copilot-prettyprinter-4.8 |
| 2026-07-08T14:00:38Z | IvanPerez | copilot-c99-4.8 |
| 2026-07-08T14:00:35Z | IvanPerez | copilot-bluespec-4.8 |
| 2026-07-08T14:00:32Z | IvanPerez | copilot-core-4.8 |
| 2026-07-08T13:20:31Z | konrad | coco-1.0.1 |
| 2026-07-08T12:52:12Z | GustenIsfeldt | futhask-base-0.1.0.0 |
| 2026-07-08T12:05:54Z | TonyMorris | papa-0.4.0 |
| 2026-07-08T11:38:45Z | HenningThielemann | synthesizer-core-0.9 |
| 2026-07-08T10:13:50Z | phadej | regression-simple-0.2.2 |
| 2026-07-08T08:22:32Z | vicwall | mini-1.6.4.0 |
| 2026-07-08T00:54:56Z | AlekseyKliger | unbound-generics-0.4.5 |
| 2026-07-07T21:19:07Z | DanBurton | haskell-src-meta-0.8.16 |