Izzimach
Computer graphics and systems programming, mixed with Haskell and Lean4.
Interstellar Echidna
Pinned Repositories
chartreuse-vortex
Control 100's of sprites with ClojureScript and some dirty tricks
chartreuse-warden
Source code for the playcanvas-based game Chartreuse Warden.
EffSpec-lean
Effect monads with specifications (DIjkstra Monads) in Lean 4
glow-fury-x
Source code for the Glow Fury X game in Playcanvas
lean-glfw
C bindings and marshalling to use GLFW and OpenGL from the lean4 theorem prover
om-react-pixi
Bindings for om to let you control pixi sprites from clojurescript.
r3test
Demo/example of an app using react-three
react-pixi
Create/control a Pixi.js canvas using React
react-three-legacy
React bindings to create and control a 3D scene using three.js
react-webaudio
Create and update an html5 webaudio "audio graph" using ReactJS.
Izzimach's Repositories
Izzimach/react-three-legacy
React bindings to create and control a 3D scene using three.js
Izzimach/react-pixi
Create/control a Pixi.js canvas using React
Izzimach/react-webaudio
Create and update an html5 webaudio "audio graph" using ReactJS.
Izzimach/r3test
Demo/example of an app using react-three
Izzimach/om-react-pixi
Bindings for om to let you control pixi sprites from clojurescript.
Izzimach/lean-glfw
C bindings and marshalling to use GLFW and OpenGL from the lean4 theorem prover
Izzimach/chartreuse-vortex
Control 100's of sprites with ClojureScript and some dirty tricks
Izzimach/chartreuse-warden
Source code for the playcanvas-based game Chartreuse Warden.
Izzimach/EffSpec-lean
Effect monads with specifications (DIjkstra Monads) in Lean 4
Izzimach/glow-fury-x
Source code for the Glow Fury X game in Playcanvas
Izzimach/grey-plains
HTML5 game where you wander a bleak wasteland
Izzimach/shadow-pattern-1gam
Roguelike game written using Javascript and the HTML5 canvas.
Izzimach/blue-salamander
Exploration/maze game using clojurescript/react/threejs
Izzimach/doc-validators
Slides and code for the Den of Clojure talk about validators
Izzimach/fomorian
Haskell scene graph library, targeting OpenGL
Izzimach/freer-wormhole
Izzimach/hpstr-jekyll-theme
A Jekyll theme with some tumble-log tendencies.
Izzimach/Izzimach
Config files for my GitHub profile.
Izzimach/Izzimach.github.io
Github pages repository
Izzimach/lein-figwheel
Leiningen plugin that pushes ClojureScript code changes to the client
Izzimach/om-react-demos
Bank of demo code used in Den of Clojure talk about ClojureScript/om/React
Izzimach/periwinkle-dreams
Run the bunnymark test in clojurescript
Izzimach/phaser
Phaser is a light-weight 2D game framework for making HTML5 games for desktop and mobile browsers
Izzimach/qinglong
Experimental monad constructs for Lean4
Izzimach/react-three-demo
Trying out react-three
Izzimach/simple-sizzle-strat
A simple turn-based strategy game for the browser. Mainly a proof-of-concept.
Izzimach/stm-loader
Asynchronous file/resource loading in haskell, via STM
Izzimach/Vinyl
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
Izzimach/zorja
Easier incremental computation in Haskell using lenses and monads.