Repos by mmhelloworld

mmhelloworld / repos

13 repos

	Repo	Language	Stars	Rank
	idris-jvm	Idris	463	4
	hello-play-frege	Frege	19	9
	akka-tutorial-frege	Java	10	128,334
	jvm-assembler	Java	10	127,582
	fregelet	Frege	6	21
	idris-spring-boot-example	Idris	6	275
	docker-idris	Dockerfile	4	13,960
	idris-jvm-auto-ffi-sample	Idris	3	436
	mmhelloworld.github.io	HTML	1	1,411,441
	idris-jvm-hs	Haskell	0	-