Skip to content
View kangxyz's full-sized avatar
♾️
♾️
23 followers · 2 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Quickdraw

Highlights

  • Pro

Block or report kangxyz

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

8 stars written in Agda
Clear filter

agda / cubical

An experimental library for Cubical Agda

Agda 541 161 Updated Mar 18, 2026

UniMath / agda-unimath

The agda-unimath library

Agda 294 96 Updated Mar 21, 2026

kangxyz / cubical-classics

An attempt towards univalent classical mathematics in Cubical Agda.

Agda 32 2 Updated Sep 15, 2023

Trebor-Huang / combinator-nbe

Normalization by evaluation of simply typed combinators.

Agda 26 2 Updated Feb 24, 2022

Trebor-Huang / ZFC

An embedding of ZFC into Agda

Agda 13 1 Updated Dec 10, 2021

guillaumebrunerie / JamesConstruction

Formalization of the James construction in Agda

Agda 10 Updated Nov 27, 2016

Trebor-Huang / CFG-Challenge

A challenge for proof assistants about a particular context-free language.

Agda 2 Updated Oct 1, 2022

kangxyz / cubical

Forked from agda/cubical

An experimental library for Cubical Agda

Agda 1 Updated Feb 8, 2024