Discover your Favorite Language
Awesome repositories
Rankings by Country
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
idris-jvm
akka-tutorial-frege
jvm-assembler
idris-spring-boot-example
fregelet
docker-idris
idris-jvm-auto-ffi-sample
mmhelloworld.github.io
idris-spring-boot
Love Open Source and this site? Check out how you can help us