Pinned Loading

1. lean-pitfalls lean-pitfalls Public

   Documenting common pitfalls and footguns in Lean

   36

2. hexmanager hexmanager Public

   A ComputerCraft program for modded Minecraft that provides a programming language to write Hex Casting spells.

   Lua 1

3. moodjournal moodjournal Public

   Emotion tracker app made for the 2022 Congressional App Challenge

   TypeScript

4. apcs-homeworkscanner apcs-homeworkscanner Public

   Autograder for Practice-It submissions

   Python

5. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 2.7k 953

6. holdyourbreathmod holdyourbreathmod Public

   Minecraft Fabric mod

   Java