Our project for HackADamien 2026!

Formally Verified Arguments of Knowledge in Lean

Verified HTTPS server in Lean 4 — TLS 1.3, HTTP/2, QUIC, WebSocket, gRPC — 914 machine-checked theorems, zero sorry. Pure library available (LeanServerPure).

Fast, accurate & comprehensive text measurement & layout

The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.

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.

A simple, cross-platform wrapper over TCP/IP sockets.