Recent additions
| 2025-03-22T20:43:49Z | IvanPerez | ogma-language-lustre-1.7.0 |
| 2025-03-22T20:43:46Z | IvanPerez | ogma-language-copilot-1.7.0 |
| 2025-03-22T20:43:42Z | IvanPerez | ogma-language-jsonspec-1.7.0 |
| 2025-03-22T20:43:38Z | IvanPerez | ogma-language-smv-1.7.0 |
| 2025-03-22T20:43:33Z | IvanPerez | ogma-language-xmlspec-1.7.0 |
| 2025-03-22T20:43:27Z | IvanPerez | ogma-language-xlsx-1.7.0 |
| 2025-03-22T20:43:22Z | IvanPerez | ogma-language-csv-1.7.0 |
| 2025-03-22T20:43:14Z | IvanPerez | ogma-spec-1.7.0 |
| 2025-03-22T20:43:10Z | IvanPerez | ogma-extra-1.7.0 |
| 2025-03-22T20:06:45Z | tomjaguarpaw | bluefin-0.0.15.0 |
| 2025-03-22T20:06:39Z | tomjaguarpaw | bluefin-internal-0.0.15.0 |
| 2025-03-22T19:07:01Z | FacundoDominguez | liquidhaskell-0.9.12.2 |
| 2025-03-22T19:06:31Z | FacundoDominguez | liquidhaskell-boot-0.9.12.2 |
| 2025-03-22T18:50:32Z | FacundoDominguez | liquid-fixpoint-0.9.6.3.3 |
| 2025-03-22T18:01:15Z | sim590 | opendht-hs-0.1.0.0 |
| 2025-03-22T17:22:19Z | toyboot4e | ac-library-hs-1.2.3.0 |
| 2025-03-22T14:56:45Z | lierdakil | pandoc-crossref-0.3.18.2 |
| 2025-03-22T14:06:08Z | vmchale | regex-rure-1.0.0.0 |
| 2025-03-22T11:12:33Z | AlexanderBondarenko | sdl2-2.5.5.1 |
| 2025-03-21T23:52:13Z | sauclovian_g | crux-llvm-0.9.1 |