Izzimach/lean-glfw Izzimach/lean-glfw

  • Stars
    star
    2
  • Language
    C
  • License
    MIT License
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Izzimach/lean-glfw
github

Izzimach

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

C bindings and marshalling to use GLFW and OpenGL from the lean4 theorem prover

More Repositories

1

react-three-legacy

React bindings to create and control a 3D scene using three.js
JavaScript
1,528
star
2

react-pixi

Create/control a Pixi.js canvas using React
JavaScript
740
star
3

react-webaudio

Create and update an html5 webaudio "audio graph" using ReactJS.
JavaScript
71
star
4

r3test

Demo/example of an app using react-three
JavaScript
47
star
5

om-react-pixi

Bindings for om to let you control pixi sprites from clojurescript.
Clojure
30
star
6

glow-fury-x

Source code for the Glow Fury X game in Playcanvas
JavaScript
1
star
7

grey-plains

HTML5 game where you wander a bleak wasteland
JavaScript
1
star
8

chartreuse-vortex

Control 100's of sprites with ClojureScript and some dirty tricks
Clojure
1
star
9

chartreuse-warden

Source code for the playcanvas-based game Chartreuse Warden.
JavaScript
1
star
10

shadow-pattern-1gam

Roguelike game written using Javascript and the HTML5 canvas.
CoffeeScript
1
star