A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Identity and Access Services

A study of how intelligence can reinforce self-deception through motivated reasoning and cognitive bias

VPN Overlay Network based on TUN/TAP, UDP and X.509 PKI.

LCF

MacOS Web Server written entirely in ARM64 assembly

Modern scientific computing for OCaml

Proceedings of ICML 2025

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

💬 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