mmhelloworld/idris-jvm

JVM bytecode back end for Idris

Idris482 stars28 forksBSD-3-Clause

idrisjavajvm

Rankings

Daily

#7068

Weekly

#12167

Monthly

—

Engagement

Total stars

Daily new stars

Get badge

Add a Trending Repos badge to your README

This repository is tracked by Trending Repos. The badge upgrades automatically the moment it cracks the top 100 — set it once and forget it.

Markdown — paste into your README

[![Trending Repos](https://trending-repos.com/badge/mmhelloworld/idris-jvm.svg)](https://trending-repos.com/repositories/mmhelloworld/idris-jvm)

HTML

<a href="https://trending-repos.com/repositories/mmhelloworld/idris-jvm"><img src="https://trending-repos.com/badge/mmhelloworld/idris-jvm.svg" alt="Trending Repos" /></a>

Raw image URL

https://trending-repos.com/badge/mmhelloworld/idris-jvm.svg

Back to trending