Skip to content
View CAIMEOX's full-sized avatar
💭
🎲
💭
🎲
125 followers · 49 following

Achievements

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

Achievements

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

Highlights

Block or report CAIMEOX

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

Lists (13)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

7 stars written in Idris
Clear filter

idris-lang / Idris2

A purely functional programming language with first class types

Idris 2,503 375 Updated Oct 5, 2024

idris-hackers / software-foundations

Software Foundations in Idris

Idris 452 34 Updated May 15, 2019

edwinb / SPLV20

SPLV20 course notes

Idris 106 35 Updated Nov 19, 2022

david-christiansen / idris-type-providers

Type provider library for Idris

Idris 92 6 Updated Dec 21, 2017

Russoul / Idris2-Effect

Experimental effects library for Idris 2

Idris 39 2 Updated May 13, 2022

zanzix / idris-neural-net

An implementation of a simple Neural network in Idris using category theory.

Idris 22 Updated Sep 18, 2024

CAIMEOX / BedrockFP

Functional API wrapper for Minecraft bedrock script api (But Idris)

Idris 4 Updated Aug 13, 2023

Starred topics

See all starred topics