Skip to content
View olivierverdier's full-sized avatar
99 followers · 70 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx3

Block or report olivierverdier

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: Idris
Sort by: Most stars
5 stars written in Idris
Clear filter

idris-hackers / idris-demos

Collection of Idris tests and demonstration programs

Idris 191 13 Updated Apr 23, 2018

idris-hackers / idris-koans

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing co…

Idris 179 26 Updated May 2, 2018

KesterTong / idris2048

2048 in Idris

Idris 121 13 Updated Nov 28, 2017

jaredloomis / Idris-HoTT

Homotopy Type Theory proofs in Idris

Idris 21 1 Updated May 22, 2019

fieldstrength / xquant

Dependently-typed structures for quantum physics in Idris

Idris 13 Updated Nov 25, 2015