Run lean4 directly in your browser

OpenRefine is a free, open source power tool for working with messy data and improving it

Our project for HackADamien 2026!

Formally Verified Arguments of Knowledge in Lean

Fast, accurate & comprehensive text measurement & layout

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Rust bindings for the Lean 4 proof assistant

An experiment in open source at the Department of Defense.

Generate type-safe code from SQL

The SpacetimeDB C++ Module Bindings

A online quest book for GTNH/GTNH任务书在线版

See what's lagging your server. 20M+ downloads on CurseForge

Gödel's Ontological Argument

Constraint Solving Problem resolver for Python

LLM-based ontological extraction tools, including SPIRES

The modern Java bytecode editor

A theme component with a gallery shortcode for the static site generator hugo.

Tella, A Hugo theme for Companies.

Faker is a Python package that generates fake data for you.

Visualizing ontologies on the Web

A project to map out the relations between different equational theories of Magmas.

The Fast Downward domain-independent classical planning system

WebGL Newton's method visualizer

Fractals made from complex roots of all possible polynomials of certain degree (12 - 24) and small set of complex coefficients (2 or 3), littlewood polynomials included

Minimal HowTo for building and using SDL3 on a variety of platforms, including mobile and web. Also includes SDL_mixer, SDL_Image, and SDL_ttf!

Saves Discord chat logs to a file

Shader translation library for SDL's GPU API.

Jai bindings for SDL3

Hosting for some jai example programs compiled for the web.