Stars
LeanInteract: A Python Interface for Lean 4
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Freeze (package) Python programs into stand-alone executables
An extension for the fantasy mod for fabric. Allows for world re-creation from the persisted level.dat file. Also serves as runtime world manager, which holds handles to all created runtime worlds.
Lean 4 programming language and theorem prover
Lean 3's obsolete mathematical components library: please use mathlib4
Run compilers interactively from your web browser and interact with the assembly
JDK main-line development https://openjdk.org/projects/jdk
An Emacs framework for the stubborn martian hacker
Supercharge Git inside VS Code and unlock untapped knowledge within each repository — Visualize code authorship at a glance via Git blame annotations and CodeLens, seamlessly navigate and explore G…
An attempt to reimplement the Minecraft Forge API on Fabric
Focus on what matters instead of fighting with Git.
A fake-able, mock-able testing platform for the SMHS robotics team.
Project Manager Extension for Visual Studio Code
Provides read and write access to the Minecraft protocol with Bukkit.
open source pastebin written in node.js