Proceedings of ICML 2025

Interactive phase-space explorer for wedge billiards in a field, with synchronized orbit visualizations and DSL-like research workflow.

The Red Sun vulnerability repository

💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42, X9-62, X25519, X488; NIST: SECP384r1.

🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.

🧊 Чиста система з всесвітами

A beautiful CLI tool to see what's running on your ports

🌐 LDAP: Directory Server. ISO/IEC 9075:2016, ITU/IETF 2849, 3296, 3671-3673, 3866, 4510-4518, 4522, 4525, 4526, 4929, 5480, X.519.

Zen Crypted Buddha Protocol

🧊 TeX-подібна система верстки наукових праць

🧊 Модальний гомотопічний верифікатор математики

A menagerie of cute implementations of modern typechecking algorithms

high-performance cubical evaluation

antifunext

Trusted λ Assembler

🧊 Мінімальна індуктивна система

🧊 Тактична система доведення теорем

Experimental Rust library for high-speed signal integrity simulation with IBIS-AMI model support targeting PCIe Gen 5/6

KVS: xNVMe SSD Key-Value Store Abstraction Layer (SNIA)

A cross-platform GUI framework for Swift, built for demanding workloads and developer ergonomics

Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situational awareness interface

The most atomic way to train and inference a GPT in pure, dependency-free C

Lean 4 kernel / 'external checker' written in Lean 4

X3DH key agreement protocol in Swift based on libsodium

Etherpad: A modern really-real-time collaborative document editor.

💬 CONSOLE: POSIX Termio X.509 Client v2

💬 ERP/1: Mail X.420 for macOS

Official inference framework for 1-bit LLMs