Skip to content
View jb55's full-sized avatar
872 followers · 868 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@bpkg @standard
Block or Report

Block or report jb55

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
Type: Sources
Language: Idris
Sort by: Most stars

Starred repositories

6 results for source starred repositories written in Idris
Clear filter

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris

Idris 903 58 Updated Aug 11, 2020

puffnfresh / iridium

xmonad with the X11 abstracted and configured with Idris

Idris 204 10 Updated May 31, 2019

idris-hackers / idris-demos

Collection of Idris tests and demonstration programs

Idris 191 13 Updated Apr 23, 2018

timjb / quantities

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

Idris 157 11 Updated Jan 28, 2019

david-christiansen / idris-type-providers

Type provider library for Idris

Idris 91 6 Updated Dec 21, 2017

japesinator / tarts

Timing attack resistant type systems

Idris 24 1 Updated May 13, 2015

Starred topics

See all starred topics