仓库

Izzimach 的仓库

32 个支持的仓库

只显示包含已索引 issue 的仓库
Izzimach/EffSpec-leanLean

Effect monads with specifications (DIjkstra Monads) in Lean 4

最近提交 2024年2月18日

 (11 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/Izzimach

Config files for my GitHub profile.

最近提交 2024年9月3日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/Izzimach.github.ioCSS

Github pages repository

最近提交 2014年9月9日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/VinylHaskell

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

最近提交 2018年3月15日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/bainanguaC++

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

最近提交 2025年1月22日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/blue-salamanderClojure

Exploration/maze game using clojurescript/react/threejs

最近提交 2016年5月10日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/chartreuse-vortexClojure

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

最近提交 2015年5月14日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/chartreuse-wardenJavaScript

Source code for the playcanvas-based game Chartreuse Warden.

最近提交 2014年2月28日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/doc-validatorsClojure

Slides and code for the Den of Clojure talk about validators

最近提交 2015年7月16日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/fomorianHaskell

Haskell scene graph library, targeting OpenGL and Vulkan

最近提交 2021年12月14日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/freer-wormholeLean

最近提交 2023年7月6日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/glow-fury-xJavaScript

Source code for the Glow Fury X game in Playcanvas

最近提交 2013年12月29日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/grey-plainsJavaScript

HTML5 game where you wander a bleak wasteland

最近提交 2014年7月6日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/hpstr-jekyll-themeJavaScript

A Jekyll theme with some tumble-log tendencies.

最近提交 2015年11月23日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/ilc-deltaC++

最近提交 2025年8月24日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/lean-glfwC

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

最近提交 2022年4月18日

 (3 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/lein-figwheelJavaScript

Leiningen plugin that pushes ClojureScript code changes to the client

最近提交 2015年1月28日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/om-react-demosClojure

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

最近提交 2014年6月18日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/om-react-pixiClojure

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

最近提交 2015年5月14日

 (30 stars) (2 forks) (0 个已索引 issue) (0 个开放 good first issue)
Izzimach/periwinkle-dreamsClojure

Run the bunnymark test in clojurescript

最近提交 2015年1月18日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)