Idris


Total Packages: 14

Popular Idris Packages See more »

io.github.mmhelloworld:idris-jvm-assembler
JVM bytecode backend for Idris
Latest release 0.7.1-rc.1 - Updated - 469 stars
io.github.mmhelloworld:idris-jvm-compiler
JVM bytecode backend for Idris
Latest release 0.7.1-rc.1 - Updated - 469 stars
io.github.mmhelloworld:idris-jvm
JVM bytecode backend for Idris
Latest release 0.7.1-rc.1 - Updated - 469 stars
io.github.mmhelloworld:idris-jvm-runtime
JVM bytecode backend for Idris
Latest release 0.7.1-rc.1 - Updated - 469 stars
@mattpolzin/harmony
Instill harmony between GitHub collaborators.
Latest release 5.0.0 - Updated - 19 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 »

io.github.mmhelloworld:idris-jvm-runtime
JVM bytecode backend for Idris
Latest release 0.7.1-rc.1 - Updated - 469 stars
io.github.mmhelloworld:idris-jvm-assembler
JVM bytecode backend for Idris
Latest release 0.7.1-rc.1 - Updated - 469 stars
io.github.mmhelloworld:idris-jvm-compiler
JVM bytecode backend for Idris
Latest release 0.7.1-rc.1 - Updated - 469 stars
io.github.mmhelloworld:idris-jvm
JVM bytecode backend for Idris
Latest release 0.7.1-rc.1 - Updated - 469 stars
@mattpolzin/harmony
Instill harmony between GitHub collaborators.
Latest release 5.0.0 - Updated - 19 stars

Most Depended upon Idris Packages

@mattpolzin/harmony
Instill harmony between GitHub collaborators.
Latest release 5.0.0 - Updated - 19 stars
io.github.mmhelloworld:idris-jvm-runtime
JVM bytecode backend for Idris
Latest release 0.7.1-rc.1 - Updated - 469 stars
io.github.mmhelloworld:idris-jvm-assembler
JVM bytecode backend for Idris
Latest release 0.7.1-rc.1 - Updated - 469 stars

Top Idris Licenses

MIT 8 projects

BSD-3-Clause 5 projects

ISC 1 project

Top Idris Package Managers

Bower 7 projects

Maven 4 projects

Cargo 1 project

Hex 1 project

npm 1 project