Skip to content
View francoisthire's full-sized avatar
23 followers · 24 following
  • Nomadic Labs
  • Paris

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Block or report francoisthire

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 stars written in Agda
Clear filter

cedille / cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Agda 385 27 Updated Oct 23, 2023

martinescardo / HoTT-UF-Agda-Lecture-Notes

Lecture notes on univalent foundations of mathematics with Agda

Agda 232 21 Updated Nov 17, 2025

CodaFi / Agda-Metaprogramming

Dependently Typed Metaprogramming Exercises

Agda 23 1 Updated Feb 9, 2018