https://github.com/mmhelloworld/idris-jvm

JVM bytecode back end for Idris

idris java jvm

Last synced: 11 Jun 2026

https://github.com/mmhelloworld/hello-play-frege

A simple Play application with Frege

Last synced: 25 Feb 2025

https://github.com/mmhelloworld/jvm-assembler

JVM bytecode assembler as REST api

Last synced: 21 Jul 2025

https://github.com/mmhelloworld/akka-tutorial-frege

Akka with Frege

Last synced: 26 Apr 2025

https://github.com/mmhelloworld/idris-spring-boot-example

Idris Spring Boot example

Last synced: 26 Feb 2025

https://github.com/mmhelloworld/fregelet

A basic web framework for Frege on top of servlet

Last synced: 25 Feb 2025

https://github.com/mmhelloworld/docker-idris

Docker image for Idris

Last synced: 25 Feb 2025

https://github.com/mmhelloworld/idris-jvm-auto-ffi-sample

Idris JVM automated FFI example

Last synced: 16 Feb 2026

https://github.com/mmhelloworld/mmhelloworld.github.io

Last synced: 19 Mar 2026

https://github.com/mmhelloworld/idris-spring-boot

Spring Boot for Idris

Last synced: 28 Feb 2026

https://github.com/mmhelloworld/idris-jvm-hs

Old JVM bytecode backend for Idris

Last synced: 16 Apr 2026

https://github.com/mmhelloworld/idris-jackson

Jackson for Idris

Last synced: 29 Jan 2026

https://github.com/mmhelloworld/ossrh-59298

Last synced: 08 Feb 2026