|
C |
3 |
OpenSSL bindings for Lean |
Mar 11, 2022 |
|
Python |
15 |
Pythonic OpenGL Bindings |
Dec 29, 2022 |
|
Lean |
13 |
WIP collections library for Lean 4 |
Mar 01, 2023 |
|
Lean |
3 |
WIP translation from Lean to Dedukti |
Sep 29, 2023 |
|
OCaml |
17 |
OCaml bindings for OpenGL |
Aug 20, 2022 |
|
Dart |
3 |
Dart FFI OpenGL Bindings |
Mar 24, 2023 |
|
Lean |
6 |
WIP unofficial package registry of Lean 4 |
Mar 16, 2023 |
|
Haskell |
7 |
WIP riak bindings |
Dec 11, 2019 |
|
Rust |
4 |
Rust bindings to OpenGL 3.3 |
Jul 18, 2022 |
|
Clojure |
5 |
idiomatic opengl bindings for clojure |
Jul 31, 2019 |
|
JavaScript |
381 |
WebGL bindings to desktop OpenGL |
Aug 25, 2022 |
|
C++ |
2 |
xemmai bindings for OpenGL ES |
Nov 25, 2022 |
|
C++ |
68 |
WebGL bindings to desktop OpenGL |
Mar 08, 2023 |
|
C |
92 |
OpenGL bindings for Emacs Lisp |
Mar 20, 2023 |
|
C# |
2 |
Modern OpenGL bindings for C#. |
Apr 30, 2020 |
|
Julia |
117 |
OpenGL 3+ bindings for Julia |
May 24, 2023 |
|
Go |
2 |
Go cross-platform OpenGL bindings. |
Apr 26, 2024 |
|
Lean |
2 |
(WIP) Cross platform terminal package for Lean 4. |
Nov 22, 2021 |
|
C |
5 |
Perl OpenGL bindings for modern OpenGL 3.1-4.x |
Feb 06, 2022 |
|
Rust |
7 |
WIP: libnm Rust bindings |
Apr 29, 2022 |
|
C |
2 |
bindings to SDL2 (Simple DirectMedia library) in Lean |
Aug 18, 2023 |
|
CSS |
2 |
beautifully lean, ideal style sheets (WIP - pull requests welcome!) |
Apr 15, 2016 |
|
Crystal |
9 |
Crystal bindings to OpenGL and GLU |
Jul 04, 2021 |
|
C++ |
2 |
ANGLE / OpenGL ES bindings for Java |
Nov 24, 2021 |
|
Rust |
16 |
Deprecated higher-level, Rustic OpenGL bindings |
Aug 06, 2022 |
|
Haskell |
90 |
Complete raw OpenGL bindings for Haskell |
May 10, 2022 |
|
Scheme |
2 |
OpenGL/ES library bindings for Spheres |
Dec 14, 2019 |
|
Crystal |
15 |
Dynamically generated OpenGL bindings for Crystal. |
Mar 18, 2023 |
|
Rust |
5 |
OpenGL ES 2.0 bindings for Rust |
Dec 04, 2013 |
|
Go |
17 |
Cross-platform OpenGL bindings in Go. |
Apr 16, 2023 |
|
Lua |
6 |
OpenGL and GLFW bindings for LuaJIT |
Nov 26, 2022 |
|
C++ |
8 |
OpenGL ES 2.0 bindings for Rust |
Apr 03, 2023 |
|
Rust |
3 |
Rust bindings for OpenGL ES 2.0 |
Dec 01, 2022 |
|
Rust |
4 |
(WIP) Rust bindings to QuickJS |
Dec 13, 2021 |
|
Crystal |
11 |
Crystal bindings to libsodium (WIP) |
Aug 20, 2021 |
|
OCaml |
10 |
(WIP) BuckleScript Web API Bindings |
Jan 28, 2023 |
|
Crystal |
2 |
Crystal bindings to libcurl [WIP] |
Apr 03, 2023 |
|
Go |
2 |
Go bindings for cuDNN (WIP) |
Apr 06, 2020 |
|
Go |
2 |
Go bindings for libxkbcommon [WIP] |
Apr 30, 2023 |
|
None |
3 |
WIP Jai Bindings for wgpu_native. |
Apr 17, 2023 |
|
C++ |
12 |
simdjson bindings for lua (WIP) |
Apr 19, 2023 |
|
Rust |
111 |
[wip] Rust Bindings to webview |
May 22, 2023 |
|
OCaml |
49 |
Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml |
Jun 29, 2022 |
|
Haskell |
19 |
Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/ |
Jan 04, 2021 |
|
Rust |
78 |
Generated OpenGL bindings and wrapper for Servo. |
Aug 10, 2022 |
|
Ruby |
3 |
A thin wrapper around ruby's opengl bindings |
Nov 14, 2013 |
|
Go |
2 |
Go bindings for OpenGL (generated via glow) |
Jul 26, 2022 |
|
C |
964 |
Go bindings for OpenGL (generated via glow) |
Apr 25, 2023 |
|
Smalltalk |
2 |
C wrapper around OpenGL bindings for Servo |
Sep 15, 2022 |
|
C |
2 |
Experimental Auto-Generated Python Bindings for OpenGL |
Apr 29, 2020 |