Marimuthu Madasamy

idris-jvm. Idris on the JVM

hello-play-frege. A simple Play application with Frege

jvm-assembler. JVM bytecode assembler as REST api

akka-tutorial-frege. Akka with Frege

idris-spring-boot-example. Idris Spring Boot example

fregelet. A basic web framework for Frege on top of servlet

Idris2. A purely functional programming language with first class types

docker-idris. Docker image for Idris

idris-jvm-auto-ffi-sample. Idris JVM automated FFI example

Blodwen. A prototype successor to Idris

jmh-idris-benchmark-archetype. Java Microbenchmark Harness (JMH) for Idris

idris-spring-boot. Spring Boot for Idris

mmhelloworld.github.io. Astro