Idris


Total Packages: 20

Popular Idris Packages See more »

io.github.mmhelloworld:idris-jvm-runtime
JVM bytecode backend for Idris
Latest release 0.8.5 - Updated - 482 stars
io.github.mmhelloworld:idris-jvm-compiler
JVM bytecode backend for Idris
Latest release 0.8.4 - Updated - 482 stars
io.github.mmhelloworld:idris-jvm-assembler
JVM bytecode backend for Idris
Latest release 0.8.4 - Updated - 482 stars
io.github.mmhelloworld:idris-jvm
JVM bytecode backend for Idris
Latest release 0.8.4 - Updated - 482 stars
@mattpolzin/harmony
Instill harmony between GitHub collaborators.
Latest release 7.10.0 - Updated - 24 stars

New Idris Packages See more »

proven
Formally verified safety primitives - safe math, crypto, paths, email, network
Latest release v0.5.0 - Published - 2 stars
@hyperpolymath/proven-rescript
ReScript bindings for Proven - code that cannot crash. Calls Idris 2 verified code via Zig WASM ABI.
Latest release 0.9.0 - Published - 2 stars
@hyperpolymath/proven
Proven - Formally verified safety library for JavaScript
Latest release 0.9.0 - Published - 2 stars
proven
Code that cannot crash - verified safety functions from Idris 2
Latest release 0.9.0 - Published - 2 stars
proven
Safe, formally verified library for math, crypto, parsing, validation, and ML - Rust bindings
Latest release 0.9.0 - Published - 2 stars

Updated Idris Packages See more »

io.github.mmhelloworld:idris-jvm-runtime
JVM bytecode backend for Idris
Latest release 0.8.5 - Updated - 482 stars
@mattpolzin/harmony
Instill harmony between GitHub collaborators.
Latest release 7.10.0 - Updated - 24 stars
io.github.mmhelloworld:idris-jvm-compiler
JVM bytecode backend for Idris
Latest release 0.8.4 - Updated - 482 stars
io.github.mmhelloworld:idris-jvm-assembler
JVM bytecode backend for Idris
Latest release 0.8.4 - Updated - 482 stars
io.github.mmhelloworld:idris-jvm
JVM bytecode backend for Idris
Latest release 0.8.4 - Updated - 482 stars

Most Depended upon Idris Packages

@mattpolzin/harmony
Instill harmony between GitHub collaborators.
Latest release 7.10.0 - Updated - 24 stars
io.github.mmhelloworld:idris-jvm-runtime
JVM bytecode backend for Idris
Latest release 0.8.5 - Updated - 482 stars
io.github.mmhelloworld:idris-jvm-assembler
JVM bytecode backend for Idris
Latest release 0.8.4 - Updated - 482 stars

Top Idris Licenses

MIT 8 projects

BSD-3-Clause 5 projects

SSPL-1.0 4 projects

CNRI-Python-GPL-Compatible 1 project

ISC 1 project

Top Idris Package Managers

Bower 7 projects

Maven 4 projects

npm 4 projects

Cargo 2 projects

Hex 1 project

Nimble 1 project

PyPI 1 project