Lists (13)
Starred repositories
10
stars
written in Idris
Clear filter
A purely functional programming language with first class types
Software Foundations in Idris
Type provider library for Idris
An implementation of a simple Neural network in Idris using category theory.
Functional API wrapper for Minecraft bedrock script api (But Idris)