Skip to content

lurk-lab/OpenGL.lean

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

OpenGL Lean bindings (WIP)

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages