Idris


Total Packages: 7


Popular Idris Packages See more »

idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
Latest release v0.2.0 - Published - 1 stars
idris-functors
Bifunctors and functor products, coproducts, and composition
Latest release v0.2.0 - Published - 1 stars
idris-assert
A simple idris assertion library
Latest release v0.2.0 - Published
idris-crayons
An idris library to colorize strings for terminals
Latest release v0.1.0 - Published
idris-comonad
An implementation of comonads in idris
Latest release v0.1.1 - Published - 1 stars

New Idris Packages See more »

idris-async
Higher-level abstractions for asynchronous code in idris
Latest release v0.3.0 - Published
idris-jserror
The javascript error type in idris
Latest release - Published
idris-functors
Bifunctors and functor products, coproducts, and composition
Latest release v0.2.0 - Published - 1 stars
idris-comonad
An implementation of comonads in idris
Latest release v0.1.1 - Published - 1 stars
idris-assert
A simple idris assertion library
Latest release v0.2.0 - Published

Most Used Idris Packages

idris-assert
A simple idris assertion library
Latest release v0.2.0 - Published
idris-comonad
An implementation of comonads in idris
Latest release v0.1.1 - Published - 1 stars

Top Idris Keywords

idris 6 projects

algebra 1 project

algebras 1 project

assert 1 project

async 1 project

bounded 1 project

crayons 1 project

error 1 project

functor 1 project

functors 1 project