Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/paulcadman/raylean
Lean4 bindings for raylib
https://github.com/paulcadman/raylean
games-development lean puns raylib
Last synced: 2 months ago
JSON representation
Lean4 bindings for raylib
- Host: GitHub
- URL: https://github.com/paulcadman/raylean
- Owner: paulcadman
- License: zlib
- Created: 2024-07-29T14:29:01.000Z (6 months ago)
- Default Branch: main
- Last Pushed: 2024-11-09T14:16:03.000Z (3 months ago)
- Last Synced: 2024-11-09T15:20:07.766Z (3 months ago)
- Topics: games-development, lean, puns, raylib
- Language: C
- Homepage:
- Size: 2.53 MB
- Stars: 8
- Watchers: 4
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# raylean
Lean4 bindings for [raylib](http://www.raylib.com/).
## Community
If you want to contribute to Raylean, you can find us on [Discord](https://discord.gg/mdgKuGAMQj) 
## How build the demo executable target (MacOS only)
The project comes with a demo executable target. To build and run this use the provided [justfile](./justfile).
For now only macOS is supported.
### Dependencies
Raylean has several dependencies:
* [Lean](https://lean-lang.org), which we use for development of games.
* [Just](https://github.com/casey/just), as a replacement for Make.
* XCode for macOS SDK frameworks like OpenGL.
* [Rust](https://www.rust-lang.org/) for building resvg, which provides SVG support.
You need to install all four to build Raylean. Below follows instructions for each.
#### [Lean](https://lean-lang.org)
Use the [official documentation](https://lean-lang.org/lean4/doc/quickstart.html) to setup Lean.
#### [Just command runner](https://github.com/casey/just)
Install using [Homebrew](https://brew.sh) with:
``` sh
brew install just
```
#### XCode Commandline Tools
The macOS clang installation and macOS SDK frameworks like OpenGL are required when linking the executable.
Install by running:
``` sh
xcode-select --install
```
#### [Rust](https://www.rust-lang.org/)
```sh
curl https://sh.rustup.rs -sSf | sh
```
Or use the [official documentation](https://www.rust-lang.org/tools/install) to setup Rust.
### Build and Run
To build the raylib static library and the demo executable, run the following command in the project:
``` sh
just build
```
To run the demo, run the following command in the project:
``` sh
just run
```
### Assets
Assets used by the demo application are stored in the [resources](./resources) directory.
| Asset | Attribution |
|--------------------------------------|----------------------------------------------------------|
| [walter.png](./resources/walter.png) | [Liza Schulze](https://www.linkedin.com/in/lizaschulze/) |
| [Asset.svg](./resources/Asset.svg) | [Liza Schulze](https://www.linkedin.com/in/lizaschulze/) |