{"id":22411610,"url":"https://github.com/groupoid/joe","last_synced_at":"2025-07-31T22:30:49.051Z","repository":{"id":230630194,"uuid":"779837025","full_name":"groupoid/joe","owner":"groupoid","description":"🧊 Компілятор ML і віртуальна машина","archived":false,"fork":false,"pushed_at":"2024-04-10T21:33:31.000Z","size":166,"stargazers_count":9,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"main","last_synced_at":"2024-04-13T20:27:08.586Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://joe.groupoid.space","language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/groupoid.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}},"created_at":"2024-03-30T23:11:37.000Z","updated_at":"2024-04-14T22:21:32.274Z","dependencies_parsed_at":"2024-04-14T22:21:31.158Z","dependency_job_id":"a5a64cd5-17aa-4d24-8e27-6f46ccbec573","html_url":"https://github.com/groupoid/joe","commit_stats":null,"previous_names":["groupoid/joe"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fjoe","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fjoe/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fjoe/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fjoe/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/groupoid","download_url":"https://codeload.github.com/groupoid/joe/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":228269352,"owners_count":17894117,"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-12-05T13:14:30.885Z","updated_at":"2024-12-05T13:14:32.146Z","avatar_url":"https://github.com/groupoid.png","language":"OCaml","funding_links":[],"categories":[],"sub_categories":[],"readme":"Joe: MinCaml compiler and virtual machine\n=========================================\n\nFeatures\n--------\n\n* 4K LOC\n* Intel/ARM 64-bit native compiler (joe)\n* Byte-code IR compiler (joe)\n* Byte-code IR virtual machine (vm)\n* Original MinCaml codebase\n\nSetup\n-----\n\n```\n$ opam install ppx_deriving ppx_inline_test\n$ dune build\n```\n\nSamples\n-------\n\nCompile sample for MinCaml bytecode:\n\n```sh\n$ _build/install/default/bin/vm -compile examples/fact.ml\n```\n\nRun sample from MinCaml bytecode in VM interpreter:\n\n```sh\n$ _build/install/default/bin/vm -exec examples/fact.joe\n10\n3628800\n```\n\nCompile sample for Apple M1 (from MinCaml to Assembler):\n\n```sh\n$ _build/install/default/bin/joe -arm examples/ack.ml\nGenerating assembly...OK\n```\n\nCompile assembler and link for macOS:\n\n```sh\n$ gcc examples/ack.arm.s src/arm64/libmincaml.c src/arm64/stub.c -o ack\n```\n\nRun sample natively on M1:\n\n```sh\n$ ./ack\n509\n```\n\nResources\n---------\n\n* \u003ca href=\"https://github.com/hz7k-nzw/sicp-in-smlnj\"\u003eKenji Nozawa. SICP in Standard ML\u003c/a\u003e.\n* \u003ca href=\"https://esumii.github.io/min-caml/index-e.html\"\u003eEijiro Sumii. A Crash Course for the MinCaml compiler\u003c/a\u003e.\n* \u003ca href=\"https://esumii.github.io/min-caml/paper.pdf\"\u003eEijiro Sumii. MinCaml: A Simple and Efficient Compiler for a Minimal Functional Language\u003c/a\u003e.\n* \u003ca href=\"https://tonpa.guru/stream/2024/2024-03-30%20Інформатика.htm\"\u003eМ. Сохацький. Інформатика\u003c/a\u003e.\n* \u003ca href=\"https://www.cs.cmu.edu/~rwh/students/okasaki.pdf\"\u003eC. Okasaki. Purely Functional Data Structures\u003c/a\u003e.\n* \u003ca href=\"https://www.cs.cmu.edu/~rwh/isml/book.pdf\"\u003eR. Harper. Programming in Standard ML\u003c/a\u003e.\n* Andrew W. Appel. Modern Compiler Implementation in ML.\n* Andreas Rossberg. HaMLet: To Be Or Not To Be Standard ML.\n\nCredits\n-------\n\n* Namdak Tonpa\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgroupoid%2Fjoe","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgroupoid%2Fjoe","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgroupoid%2Fjoe/lists"}