Tactics for discharging Lean goals into SMT solvers.

Many-Time Pad Interactive

The Vampire Theorem Prover

Coppersmith method (solving polynomial equation over composite modulus on small bounds)

Python implementations of cryptographic attacks and utilities.

The math library of Lean 4

Mathlib4 review and triage dashboard

Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)

Formalisation of the Kelley-Meka bound on Roth numbers

A concise stack-based golfing language

Information on string parsing. (Note: String Parsing has been directly added to the game as of v1.19.4, so this library is no longer needed)

Saves and restores a player inventory

A utility datapack for doing math operations

Vigil, the eternal morally vigilant programming language

Sandstone | Next Generation Framework for Minecraft

A [ functional stack ] based language.

Floating Point Hacks

Java Random sequence crackers materials

A mod which allows effects with a floating-point amplifier, only for singleplayer.

🌴 An OS made entirely with html/css and js.

Inspired by a mod called Witchery!