Computer graphics and systems programming, mixed with Haskell and Lean4.
react-three-legacy. React bindings to create and control a 3D scene using three.js
1.5kreact-pixi. Create/control a Pixi.js canvas using React
744react-webaudio. Create and update an html5 webaudio "audio graph" using ReactJS.
69r3test. Demo/example of an app using react-three
46om-react-pixi. Bindings for om to let you control pixi sprites from clojurescript.
30EffSpec-lean. Effect monads with specifications (DIjkstra Monads) in Lean 4
12lean-glfw. C bindings and marshalling to use GLFW and OpenGL from the lean4 theorem prover
3grey-plains. HTML5 game where you wander a bleak wasteland
1glow-fury-x. Source code for the Glow Fury X game in Playcanvas
1shadow-pattern-1gam. Roguelike game written using Javascript and the HTML5 canvas.
1chartreuse-warden. Source code for the playcanvas-based game Chartreuse Warden.
1chartreuse-vortex. Control 100's of sprites with ClojureScript and some dirty tricks
1