Skip to content
View franchb's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report franchb

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

A purely functional programming language with first class types

Idris 2,765 395 Updated Nov 7, 2025

𝛌 Awesome Idris resources

Idris 403 17 Updated Feb 20, 2020
Idris 179 2 Updated Feb 12, 2025

Idris version of Domain Modeling Made Functional Book.

Idris 142 11 Updated Oct 25, 2021
Idris 5 Updated Apr 19, 2023