Movatterモバイル変換

Showing 10 of 24 repositories

agda-categories Public
A new Categories library for Agda
agda/agda-categories’s past year of commit activity
Agda 377MIT 70 51 (4 issues need help) 12 UpdatedMay 3, 2025
agda Public
Agda is a dependently typed programming language / interactive theorem prover.
agda/agda’s past year of commit activity
Haskell 2,621 369 981 (30 issues need help) 51 UpdatedMay 2, 2025
agda2hs Public
Compiling Agda code to readable Haskell
agda/agda2hs’s past year of commit activity
Agda 186MIT 41 62 (6 issues need help) 10 UpdatedMay 1, 2025
agda-stdlib Public
The Agda standard library
agda/agda-stdlib’s past year of commit activity
Agda 611 247 252 35 UpdatedApr 23, 2025
agda-stdlib-classes Public
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
agda/agda-stdlib-classes’s past year of commit activity
Agda 3MIT 3 2 2 UpdatedApr 14, 2025
agda-stdlib-meta Public
Meta-programming utilities for Agda.
agda/agda-stdlib-meta’s past year of commit activity
Agda 19MIT 3 9 2 UpdatedApr 14, 2025
cornelis Public
agda-mode for neovim
agda/cornelis’s past year of commit activity
Haskell 153BSD-3-Clause 24 21 (6 issues need help) 2 UpdatedMar 31, 2025
cubical Public
An experimental library for Cubical Agda
agda/cubical’s past year of commit activity
Agda 479 145 66 (1 issue needs help) 50 UpdatedMar 21, 2025
fix-whitespace Public
Fixes whitespace issues
agda/fix-whitespace’s past year of commit activity
Haskell 8 7 7 2 UpdatedFeb 19, 2025
agda2lambox Public
Compiling Agda's internal syntax to λ-box terms.
agda/agda2lambox’s past year of commit activity
Haskell 6 2 11 3 UpdatedFeb 5, 2025