Software Engineer
@hallettj@hachyderm.io
-
Hasura
- Bay Area, CA
- http://sitr.us/
Pinned Loading
-
git-format-staged
git-format-staged PublicGit command to transform staged files using a formatting command
-
description of category laws in Idris
description of category laws in Idris 1# Category Theory proofs in Idris
23Idris is a language with dependent types, and is similar to Agda.
4What distinguishes Idris is that it is intended to be a general-purpose language first,
5and a theorem prover second.
-
no_creeper_griefing
no_creeper_griefing PublicDatapack for Minecraft Java edition that prevents creeper explosions from destroying blocks
-
redstone-designer
redstone-designer PublicA little project for learning about game programming with Bevy
Rust 4
-
minecraft-datapack-template
minecraft-datapack-template PublicBasic template for a Minecraft Java Edition datapack with install script
Makefile
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.