Pinned Loading

1. Idris2-Lua Idris2-Lua Public

   Lua backend for Idris 2

   Idris 27 1

2. Idris2-Effect Idris2-Effect Public

   Experimental effects library for Idris 2

   Idris 41 2

3. Voxelized3D-Rust Voxelized3D-Rust Public

   experimental voxel engine that uses dual contouring written in rust

   Rust 22 4

4. Nova Nova Public

   A programming language based on extensional Martin Lof Type Theory

   Idris 1