{"id":19515591,"url":"https://github.com/mmhelloworld/idris-spring-boot-example","last_synced_at":"2025-02-26T00:11:22.382Z","repository":{"id":149368360,"uuid":"154779700","full_name":"mmhelloworld/idris-spring-boot-example","owner":"mmhelloworld","description":"Idris Spring Boot example","archived":false,"fork":false,"pushed_at":"2024-08-24T15:21:38.000Z","size":131,"stargazers_count":7,"open_issues_count":0,"forks_count":2,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-01-08T12:34:27.732Z","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":null,"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":null,"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-10-26T05:01:36.000Z","updated_at":"2024-11-30T18:28:54.000Z","dependencies_parsed_at":"2024-05-31T03:40:11.206Z","dependency_job_id":"2b7b8482-f25a-40a7-9eab-9f67291c4a41","html_url":"https://github.com/mmhelloworld/idris-spring-boot-example","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mmhelloworld%2Fidris-spring-boot-example","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mmhelloworld%2Fidris-spring-boot-example/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mmhelloworld%2Fidris-spring-boot-example/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mmhelloworld%2Fidris-spring-boot-example/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mmhelloworld","download_url":"https://codeload.github.com/mmhelloworld/idris-spring-boot-example/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240766622,"owners_count":19854119,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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:08.310Z","updated_at":"2025-02-26T00:11:22.332Z","avatar_url":"https://github.com/mmhelloworld.png","language":"Idris","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Idris Spring Boot Example\n\nAn example Idris project demonstrating how to export functions and generate classes from Idris to Java. It is a Spring Boot application connecting to MySQL database.\n\n# Build\n\n### Compile\n```shell\n./mvnw package\n```\n\n### Start MySQL server\n```shell\nmysql.server start\n```\n\n### Initialize MySQL\n* From MySQL console\n```shell\ncreate database payroll_db;\n```\n```shell\ncreate user 'payroll_admin'@'%' identified by '\u003center password\u003e';\n```\n```shell\ngrant all on payroll_db.* to 'payroll_admin'@'%';\n```\n\n# Run\n* Set MySQL password in `PAYROLL_PASSWORD` environment variable\n```shell\nread -rs PAYROLL_PASSWORD\nexport PAYROLL_PASSWORD\n```\n* Start application\n```shell\njava -cp \"build/exec/idrisspringbootexample_app:target/classes:build/exec/idrisspringbootexample_app/*\" idrisspringbootexample.Main\n```\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmmhelloworld%2Fidris-spring-boot-example","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmmhelloworld%2Fidris-spring-boot-example","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmmhelloworld%2Fidris-spring-boot-example/lists"}