mmhelloworld/idris-jvm-auto-ffi-sample mmhelloworld/idris-jvm-auto-ffi-sample

  • Stars
    star
    3
  • Rank 3,952,173 (Top 79 %)
  • Language Idris
  • License
    BSD 3-Clause "New...
  • Created about 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mmhelloworld/idris-jvm-auto-ffi-sample
github

mmhelloworld

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Idris JVM automated FFI example

More Repositories

1

idris-jvm

JVM bytecode back end for Idris
Idris
469
star
2

hello-play-frege

A simple Play application with Frege
Frege
19
star
3

akka-tutorial-frege

Akka with Frege
Java
10
star
4

jvm-assembler

JVM bytecode assembler as REST api
Java
10
star
5

idris-spring-boot-example

Idris Spring Boot example
Idris
6
star
6

fregelet

A basic web framework for Frege on top of servlet
Frege
6
star
7

docker-idris

Docker image for Idris
Dockerfile
4
star
8

mmhelloworld.github.io

HTML
1
star
9

idris-spring-boot

Spring Boot for Idris
Idris
1
star