Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / DSLstandard / Lean4-FFI-Programming-Tutorial-GLFW

Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DSLstandard%2FLean4-FFI-Programming-Tutorial-GLFW

Stars: 8
Forks: 0
Open issues: 0

License: mit
Language: Lean
Size: 47.9 KB
Dependencies parsed at: Pending

Created at: 11 months ago
Updated at: 11 days ago
Pushed at: 11 days ago
Last synced at: 11 days ago

Topics: bindings, c, example, ffi, ffi-bindings, ffi-example, glfw, glfw-bindings, glfw3, glfw3-bindings, guide, lean, lean4, tutorial

    Loading...