https://github.com/argumentcomputer/OpenGL.lean
OpenGL Lean bindings (WIP)
https://github.com/argumentcomputer/OpenGL.lean
lean4
Last synced: 11 months ago
JSON representation
OpenGL Lean bindings (WIP)
- Host: GitHub
- URL: https://github.com/argumentcomputer/OpenGL.lean
- Owner: argumentcomputer
- License: mit
- Created: 2022-04-11T20:11:05.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2022-04-12T06:56:18.000Z (about 4 years ago)
- Last Synced: 2024-08-14T19:17:01.738Z (almost 2 years ago)
- Topics: lean4
- Language: Nix
- Homepage:
- Size: 9.77 KB
- Stars: 4
- Watchers: 4
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# OpenGL bindings for Lean (unfinished)
OpenGL ES 3.0 bindings w
## Develop
Enable auto loading dependencies into the shell with `direnv allow` or manually with `nix develop`.
## Building
Build with `nix build .`
## Tests
Run tests with `nix run .#test`