Idris


Total Packages: 14


Popular Idris Packages See more »

@mattpolzin/harmony
Instill harmony between GitHub collaborators.
Latest release 1.3.0 - Updated - 14 stars
io.github.mmhelloworld:idris-jvm-assembler
JVM bytecode backend for Idris
Latest release 0.5.1 - Updated - 369 stars
io.github.mmhelloworld:idris-jvm
JVM bytecode backend for Idris
Latest release 0.5.1 - Updated - 369 stars
io.github.mmhelloworld:idris-jvm-compiler
JVM bytecode backend for Idris
Latest release 0.5.1 - Updated - 369 stars
io.github.mmhelloworld:idris-jvm-runtime
JVM bytecode backend for Idris
Latest release 0.5.1 - Updated - 369 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 1.3.0 - Updated - 14 stars
io.github.mmhelloworld:idris-jvm-assembler
JVM bytecode backend for Idris
Latest release 0.5.1 - Updated - 369 stars
io.github.mmhelloworld:idris-jvm-runtime
JVM bytecode backend for Idris
Latest release 0.5.1 - Updated - 369 stars
io.github.mmhelloworld:idris-jvm
JVM bytecode backend for Idris
Latest release 0.5.1 - Updated - 369 stars
io.github.mmhelloworld:idris-jvm-compiler
JVM bytecode backend for Idris
Latest release 0.5.1 - Updated - 369 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

Top Idris Keywords

idris 10 projects

java 4 projects

jvm 4 projects

algebra 1 project

algebras 1 project

assert 1 project

async 1 project

bounded 1 project

crayons 1 project

error 1 project