{"id":19515596,"url":"https://github.com/mmhelloworld/idris-jvm-auto-ffi-sample","last_synced_at":"2026-02-16T20:33:18.131Z","repository":{"id":149368359,"uuid":"142258595","full_name":"mmhelloworld/idris-jvm-auto-ffi-sample","owner":"mmhelloworld","description":"Idris JVM automated FFI example","archived":false,"fork":false,"pushed_at":"2025-07-02T20:47:20.000Z","size":13,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-10-21T05:39:31.108Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Idris","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mmhelloworld.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-07-25T06:42:12.000Z","updated_at":"2025-07-02T20:47:17.000Z","dependencies_parsed_at":null,"dependency_job_id":"ae64b2c9-0f9e-43f3-9a40-d23a102d7ba8","html_url":"https://github.com/mmhelloworld/idris-jvm-auto-ffi-sample","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/mmhelloworld/idris-jvm-auto-ffi-sample","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mmhelloworld%2Fidris-jvm-auto-ffi-sample","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mmhelloworld%2Fidris-jvm-auto-ffi-sample/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mmhelloworld%2Fidris-jvm-auto-ffi-sample/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mmhelloworld%2Fidris-jvm-auto-ffi-sample/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mmhelloworld","download_url":"https://codeload.github.com/mmhelloworld/idris-jvm-auto-ffi-sample/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mmhelloworld%2Fidris-jvm-auto-ffi-sample/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29517613,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-16T18:37:19.720Z","status":"ssl_error","status_checked_at":"2026-02-16T18:36:46.920Z","response_time":115,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-10T23:40:09.020Z","updated_at":"2026-02-16T20:33:18.091Z","avatar_url":"https://github.com/mmhelloworld.png","language":"Idris","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Idris JVM Automated FFI Example\nAn example project to show how to import Java libraries in Idris without manually\ndefining FFI. This example demonstrates using Java's Jackson library in Idris.\nThe project has two maven modules:\n* JVM importer module\n\n    This module declares the foreign imports (classes and methods from Jackson library) and it has\n    Jackson as a maven dependency.\n* Main module\n\n    This modules uses the imported methods.\n\n# Build\n`mvn install`\n\n# Run\n`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`\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmmhelloworld%2Fidris-jvm-auto-ffi-sample","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmmhelloworld%2Fidris-jvm-auto-ffi-sample","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmmhelloworld%2Fidris-jvm-auto-ffi-sample/lists"}