Skip to content
View oneofvalts's full-sized avatar
10 followers · 96 following

Highlights

  • Pro

Block or report oneofvalts

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

3 results for source starred repositories written in Agda
Clear filter

agda / cubical

An experimental library for Cubical Agda

Agda 511 156 Updated Oct 24, 2025

UniMath / agda-unimath

The agda-unimath library

Agda 273 91 Updated Oct 31, 2025

ualib / agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)

Agda 37 7 Updated Dec 2, 2024