Pinned Loading

1. git-format-staged git-format-staged Public

   Git command to transform staged files using a formatting command

   TypeScript 217 20

2. description of category laws in Idris description of category laws in Idris

   1

   # Category Theory proofs in Idris

   2

   3

   Idris is a language with dependent types, and is similar to Agda.

   4

   What distinguishes Idris is that it is intended to be a general-purpose language first,

   5

   and a theorem prover second.

3. no_creeper_griefing no_creeper_griefing Public

   Datapack for Minecraft Java edition that prevents creeper explosions from destroying blocks

   mcfunction 5 2

4. redstone-designer redstone-designer Public

   A little project for learning about game programming with Bevy

   Rust 4

5. home.nix home.nix Public

   My personal dot files / Home Manager config

   Lua 11

6. minecraft-datapack-template minecraft-datapack-template Public

   Basic template for a Minecraft Java Edition datapack with install script

   mcfunction 1