Skip to content
View hallettj's full-sized avatar

Sponsoring

@neovim

Organizations

@pdxjs
Block or Report

Block or report hallettj

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

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

    Git command to transform staged files using a formatting command

    TypeScript 170 16

  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

  4. redstone-designer redstone-designer Public

    A little project for learning about game programming with Bevy

    Rust 3

  5. home.nix home.nix Public

    My personal dot files / Home Manager config

    Lua 4

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

    Basic template for a Minecraft Java Edition datapack with install script

    Makefile