Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.

Natural Number Game

Official Flash Flash Revolution game engine.

White-box automation for Lean 4

Code related to the Lean verification of the empty hexagon theorem

Document Generator for Lean 4

The math library of Lean 4

Collection of various gecko codes I've made for Wii games

ASCII-only equivalents to `char`, `str` and `String`.

Unbuffered and unlocked I/O streams

Lean 4 programming language and theorem prover

Makes it possible to really use concatenated idents in Rust.

uniform star polyhedra

W3C-customized version of the feedvalidator (forked from https://github.com/rubys/feedvalidator/)

Nu Html Checker – Helps you catch problems in your HTML/CSS/SVG

A validator for syndicated feeds. It works with Atom, RSS feeds as well as OPML and KML formats.

Ligature Symbols is WebFont project to display the symbol with a ligature features. This Font is licensed under the SIL Open Font License.

An open source audio distribution and patronage platform

GDDL Integration for Geode showing level tiers and enjoyment ratings

Geode death tracker mod

A Geometry Dash that changes the percentage to gold when you are achieving a new best!

geode mod that adds a bumpscosity slider into GD

My own collection of small mods for Geode

The ultimate Geometry Dash modding framework

Window handling library in pure Rust

Tutorial for the Vulkan graphics and compute API

A compositional library for musical composition.

human-duration converts a std::time::Duration to a human readable string.