Discover @mmhelloworld Open Source projects

Marimuthu Madasamy (@mmhelloworld)

mmhelloworld

Stars
550
Global Rank 53,018 (Top 2 %)
Followers 58
Following 1
Registered over 13 years ago
Most used languages

Idris 40.0 %

Java
20.0 %

Frege 20.0 %

HTML
10.0 %

Dockerfile
10.0 %
Location 🇺🇸 United States
Country Total Rank 14,091
Country Ranking

Idris 1

Frege 2

Dockerfile
1,839

Java
6,883

idris-jvm

JVM bytecode back end for Idris

hello-play-frege

A simple Play application with Frege

akka-tutorial-frege

Akka with Frege

jvm-assembler

JVM bytecode assembler as REST api

idris-spring-boot-example

Idris Spring Boot example

fregelet

A basic web framework for Frege on top of servlet

docker-idris

Docker image for Idris

idris-jvm-auto-ffi-sample

Idris JVM automated FFI example

mmhelloworld.github.io

idris-spring-boot

Spring Boot for Idris