Idris


Total Packages: 10


Popular Idris Packages See more »

@mattpolzin/harmony
Instill harmony between GitHub collaborators.
Latest release 0.4.0 - Updated - 5 stars
idris-functors
Bifunctors and functor products, coproducts, and composition
Latest release v0.2.0 - Published - 1 stars
cambria
Zero-copy schema transformations.
Latest release 0.1.0 - Published - 4 stars
idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
Latest release v0.2.0 - Published - 1 stars
idris-comonad
An implementation of comonads in idris
Latest release v0.1.1 - Published - 1 stars

New Idris Packages See more »

cambria
Zero-copy schema transformations.
Latest release 0.1.0 - Published - 4 stars
idris2
Erlang code generator for Idris 2
Latest release 0.2.1-alpha.1 - Published - 27 stars
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

Updated Idris Packages See more »

@mattpolzin/harmony
Instill harmony between GitHub collaborators.
Latest release 0.4.0 - Updated - 5 stars

Top Idris Licenses

MIT 8 projects

BSD-3-Clause 1 project

ISC 1 project

Top Idris Package Managers

Bower 7 projects

Cargo 1 project

Hex 1 project

npm 1 project

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