Skip to content
View akiomik's full-sized avatar
🐟
I may be slow to respond.
🐟
I may be slow to respond.
196 followers · 140 following

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLOAchievement: Mars 2020 ContributorAchievement: Pull Sharkx4Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLOAchievement: Mars 2020 ContributorAchievement: Pull Sharkx4Achievement: Arctic Code Vault Contributor

Highlights

Organizations

@scalajp @nostr-jp

Block or report akiomik

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

Lists (5)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

8 stars written in Agda
Clear filter

plfa / plfa.github.io

An introduction to programming language theory in Agda

Agda 1,497 345 Updated Mar 26, 2026

agda / agda-stdlib

The Agda standard library

Agda 654 264 Updated Apr 1, 2026

agda / cubical

An experimental library for Cubical Agda

Agda 542 162 Updated Mar 30, 2026

agda / agda-categories

A new Categories library for Agda

Agda 401 76 Updated Apr 2, 2026

liamoc / learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

Agda 316 32 Updated Feb 13, 2018

wenkokke / schmitty

Agda bindings to SMT-LIB2 compatible solvers.

Agda 105 8 Updated Aug 11, 2025

fredefox / cat

A formalization of category theory in cubical Agda

Agda 58 4 Updated May 24, 2020

shinji-kono / Galois

Agda 2 Updated Nov 14, 2025