Skip to content
View RobertHarper's full-sized avatar
💭
Rolling the dice.
💭
Rolling the dice.
362 followers · 3 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report RobertHarper

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Type: All
Language
Sort by: Recently starred
Showing results

RedPRL / cooltt

😎TT

OCaml 215 16 Updated Oct 21, 2023

favonia / homotopy

My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)

Agda 25 2 Updated Aug 14, 2014

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

Coq 1,238 187 Updated Aug 19, 2024

andrejbauer / Homotopy

Homotopy theory in Coq.

Verilog 90 8 Updated Mar 26, 2011

peterlefanulumsdaine / Oberwolfach-explorations

collaboration on work in progress

Verilog 15 1 Updated Mar 4, 2011

UniMath / Foundations

Voevodsky's original development of the univalent foundations of mathematics in Coq

Coq 239 20 Updated Sep 10, 2014