Repositories

Izzimach repositories

32 supported repositories

Show repositories with indexed issues
Izzimach/EffSpec-leanLean

Effect monads with specifications (DIjkstra Monads) in Lean 4

Last commit Feb 18, 2024

 (11 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/Izzimach

Config files for my GitHub profile.

Last commit Sep 3, 2024

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/Izzimach.github.ioCSS

Github pages repository

Last commit Sep 9, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/VinylHaskell

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Last commit Mar 15, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/bainanguaC++

Vulkan renderer exploring the use of C++20 features and a functional style.

Last commit Jan 22, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/blue-salamanderClojure

Exploration/maze game using clojurescript/react/threejs

Last commit May 10, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/chartreuse-vortexClojure

Control 100's of sprites with ClojureScript and some dirty tricks

Last commit May 14, 2015

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/chartreuse-wardenJavaScript

Source code for the playcanvas-based game Chartreuse Warden.

Last commit Feb 28, 2014

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/doc-validatorsClojure

Slides and code for the Den of Clojure talk about validators

Last commit Jul 16, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/fomorianHaskell

Haskell scene graph library, targeting OpenGL and Vulkan

Last commit Dec 14, 2021

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/freer-wormholeLean

Last commit Jul 6, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/glow-fury-xJavaScript

Source code for the Glow Fury X game in Playcanvas

Last commit Dec 29, 2013

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/grey-plainsJavaScript

HTML5 game where you wander a bleak wasteland

Last commit Jul 6, 2014

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/hpstr-jekyll-themeJavaScript

A Jekyll theme with some tumble-log tendencies.

Last commit Nov 23, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/ilc-deltaC++

Last commit Aug 24, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/lean-glfwC

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

Last commit Apr 18, 2022

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/lein-figwheelJavaScript

Leiningen plugin that pushes ClojureScript code changes to the client

Last commit Jan 28, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/om-react-demosClojure

Bank of demo code used in Den of Clojure talk about ClojureScript/om/React

Last commit Jun 18, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
Izzimach/om-react-pixiClojure

Bindings for om to let you control pixi sprites from clojurescript.

Last commit May 14, 2015

 (30 stars) (2 forks) (0 indexed issues) (0 open good first issues)
Izzimach/periwinkle-dreamsClojure

Run the bunnymark test in clojurescript

Last commit Jan 18, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)