AIS receiver in C99 — complex baseband IQ in, AIVDM sentences out. MIT licensed, no dependencies.

Agent workspace built on Cloudflare Workers for creating documents, building apps, and running agents with your company’s context and systems.

An App as Offline Frontend for CloudLog

Identify satellite in you camera, telescope fov, or even overhead

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

An original single-file Three.js library of seven interactive clothbound hardcovers.

africube is repository for a Cubesat transponder hardware

This repository will have all the code to controle the atmega powersupply of the africube powersupply

The updated LEO satellite with FM capabilities (and more)

U4B-Protocol Tracker Firmware

Easily merge cw morse code from a Vail Adapter with your mic for Zoom and other video call or recording software

The P programming language.

AeroJAX: A differentiable, structure-preserving framework for real-time flow simulation, control, and inverse design. Architected for neural operator integration and latent-space acceleration. Buil…

🤖 ✍️ blot, the plotting bot from hack club

Zero-CPU-Overhead OV7725 Camera Streaming Library for RP2350. Capture images from OV7725 using DMA and PIO with zero CPU overhead. Supports color (YUV) and monochrome modes at 90fps. Dual-buffer ar…

A flight-compliant WebAssembly interpreter.

Kimi K2 is the large language model series developed by Moonshot AI team

I2C/I3C bit cycle engine

Adapter for cw morse keys to USB

A Native, cross platform, VCS agnostic Diff tool

Flipper One hardware

Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.

K3NG Arduino CW Keyer

An agent skill for writing Hegel tests

Ray tracer in SQL

Dont guess. Simulate. Multi-agent market prediction engine.

Web frontend for browsing, searching, and reading RFDs