Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
left_adjoint / ocellus
Agda 0 0
Dependently typed implementation of pattern languages inspired by TidalCycles
Updated 2024-03-13 15:19:58 +00:00