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`