Taneb
0 Followers · 0 Following
  • Joined on 2023-07-10
Repositories
4
 Projects Packages Public Activity Watched Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most forks Fewest forks
eratosthenes
Agda 0
Implementation of a prime sieve in Agda
Updated 2025-08-18 12:10:32 +01:00
nas
Nix 0
Updated 2024-09-23 20:33:42 +01:00
regex
Agda 0
Agda regular expression library
Updated 2024-09-13 11:39:18 +01:00
thinnings
Agda 0
Exploration of thinnings in Agda
Updated 2024-06-24 00:21:33 +01:00