{"id":19914926,"url":"https://github.com/paulcadman/raylean","last_synced_at":"2025-05-03T05:31:59.599Z","repository":{"id":253105571,"uuid":"835288729","full_name":"paulcadman/raylean","owner":"paulcadman","description":"Lean4 bindings for raylib","archived":false,"fork":false,"pushed_at":"2024-11-09T14:16:03.000Z","size":2658,"stargazers_count":8,"open_issues_count":0,"forks_count":4,"subscribers_count":4,"default_branch":"main","last_synced_at":"2024-11-09T15:20:07.766Z","etag":null,"topics":["games-development","lean","puns","raylib"],"latest_commit_sha":null,"homepage":"","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"zlib","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/paulcadman.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":"2024-07-29T14:29:01.000Z","updated_at":"2024-11-09T14:15:07.000Z","dependencies_parsed_at":"2024-08-25T15:02:41.356Z","dependency_job_id":"ad3fd27d-432f-4d0d-8d9b-e62466e241fb","html_url":"https://github.com/paulcadman/raylean","commit_stats":null,"previous_names":["paulcadman/raylean"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/paulcadman%2Fraylean","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/paulcadman%2Fraylean/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/paulcadman%2Fraylean/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/paulcadman%2Fraylean/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/paulcadman","download_url":"https://codeload.github.com/paulcadman/raylean/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":224354153,"owners_count":17297401,"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":["games-development","lean","puns","raylib"],"created_at":"2024-11-12T21:37:35.294Z","updated_at":"2024-11-12T21:37:35.881Z","avatar_url":"https://github.com/paulcadman.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"# raylean\n\nLean4 bindings for [raylib](http://www.raylib.com/).\n\n## Community\n\nIf you want to contribute to Raylean, you can find us on [Discord](https://discord.gg/mdgKuGAMQj) \u003ca href=\"https://discord.gg/mdgKuGAMQj\"\u003e\u003cimg alt=\"Discord\" title=\"Raylean's Discord\" height=\"16\" width=\"16\" src=\"./resources/discord.svg\"/\u003e\u003c/a\u003e\n\n## How build the demo executable target (MacOS only)\n\nThe project comes with a demo executable target. To build and run this use the provided [justfile](./justfile).\n\nFor now only macOS is supported.\n\n### Dependencies\n\nRaylean has several dependencies:\n\n* [Lean](https://lean-lang.org), which we use for development of games.\n* [Just](https://github.com/casey/just), as a replacement for Make.\n* XCode for macOS SDK frameworks like OpenGL.\n* [Rust](https://www.rust-lang.org/) for building resvg, which provides SVG support.\n\nYou need to install all four to build Raylean. Below follows instructions for each.\n\n#### [Lean](https://lean-lang.org)\n\nUse the [official documentation](https://lean-lang.org/lean4/doc/quickstart.html) to setup Lean.\n\n#### [Just command runner](https://github.com/casey/just)\n\nInstall using [Homebrew](https://brew.sh) with:\n\n``` sh\nbrew install just\n```\n\n#### XCode Commandline Tools\n\nThe macOS clang installation and macOS SDK frameworks like OpenGL are required when linking the executable.\n\nInstall by running:\n\n``` sh\nxcode-select --install\n```\n\n#### [Rust](https://www.rust-lang.org/)\n\n```sh\ncurl https://sh.rustup.rs -sSf | sh\n```\n\nOr use the [official documentation](https://www.rust-lang.org/tools/install) to setup Rust.\n\n### Build and Run\n\nTo build the raylib static library and the demo executable, run the following command in the project:\n\n``` sh\njust build\n```\n\nTo run the demo, run the following command in the project:\n\n``` sh\njust run\n```\n\n### Assets\n\nAssets used by the demo application are stored in the [resources](./resources) directory.\n\n\n| Asset                                | Attribution                                              |\n|--------------------------------------|----------------------------------------------------------|\n| [walter.png](./resources/walter.png) | [Liza Schulze](https://www.linkedin.com/in/lizaschulze/) |\n| [Asset.svg](./resources/Asset.svg)   | [Liza Schulze](https://www.linkedin.com/in/lizaschulze/) |\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpaulcadman%2Fraylean","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpaulcadman%2Fraylean","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpaulcadman%2Fraylean/lists"}