https://github.com/mmhelloworld/idris-jvm-auto-ffi-sample

Idris JVM automated FFI example
https://github.com/mmhelloworld/idris-jvm-auto-ffi-sample

Last synced: 4 months ago
JSON representation

Idris JVM automated FFI example

• Host: GitHub
• URL: https://github.com/mmhelloworld/idris-jvm-auto-ffi-sample
• Owner: mmhelloworld
• License: bsd-3-clause
• Created: 2018-07-25T06:42:12.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2025-07-02T20:47:20.000Z (11 months ago)
• Last Synced: 2025-10-21T05:39:31.108Z (8 months ago)
• Language: Idris
• Size: 12.7 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Idris JVM Automated FFI Example

An example project to show how to import Java libraries in Idris without manually

defining FFI. This example demonstrates using Java's Jackson library in Idris.

The project has two maven modules:

* JVM importer module

    This module declares the foreign imports (classes and methods from Jackson library) and it has

    Jackson as a maven dependency.

* Main module

    This modules uses the imported methods.

# Build

`mvn install`

# Run

`java -cp idris-jvm-auto-ffi-sample-main/target/idris-jvm-auto-ffi-sample-main-1.0-SNAPSHOT.jar:${IDRIS_JVM_HOME}/idris-jvm-runtime.jar main.Main`