Complete index - 22 projects
Compact project table
One row per repository. Select a project name for its technical brief, evidence, boundaries, and first-run path.
| Project / language | Area | What it does | Evidence snapshot | Status |
|---|---|---|---|---|
| int-llmC | Integer & embedded | Pure-integer C experiments for deterministic language-model training and inference, validated across desktop, embedded, and emulated targets. | 80/80 tokens Reference agreement5 architectures Determinism | Active |
| astro-nav-intC | Integer & embedded | A no-floating-point celestial-navigation library that carries a sextant observation through correction, sight reduction, and position fixing. | ≤0.30 arcminute Accuracy gate5 classes Independent references | Active |
| compartmentC | Secure systems | A small Linux isolation toolkit with two zero-dependency C tools, one policy format, worked profiles, and explicit security boundaries. | 11,341 lines BPF core22,322 lines BPF tests | Maintained |
| cunningham-chain-searchCUDA / C | Computational search | A visualization-led number-theory project that grew into a staged GPU filter, CPU confirmer, campaign toolkit, and published dataset. | 4,280 lines Production GPU3,331 lines Production CPU | Completed |
| deaddropGo | Secure systems | A Go client and relay for short-lived encrypted handoffs, with capsule pairing, optional end-to-end identity, and a detailed protocol specification. | 7,157 lines Production Go12,813 lines Test and QA | Active |
| URTBC | Secure systems | A C terminal tunnel using shared capsules and XChaCha20-Poly1305 across ESP-NOW, LoRa, Unix sockets, and generic process streams. | 8,737 lines Implementation5,537 lines Test and harness code | Active |
| ephrunC | Secure systems | A C toolchain that encrypts Linux executables, sources decryption keys from capsules, files, or kernel keyrings, and executes from memory. | 2,727 lines Implementation2,173 lines Tests and harnesses | Active |
| UnmoorC | Secure systems | A C terminal and file-transfer tool with hybrid key exchange, byte-stream repair, multiple UDP legs, and explicit confinement controls. | 75,367 lines C source + headers781 checks Routed-path gate | Active |
| int-llm precision ladderC / Python | Integer & embedded | Follow-up experiments that narrow integer model weights while retaining the wide Q16.48 path as the comparison oracle. | 632/632 decisions Oracle agreement1,100,048,384 codes Conversion gate | Research |
| int-llm coordinate permutationPython | Integer & embedded | A toolkit for controlled model-layout experiments on both standard SafeTensors and the integer Q16.48 model path. | 201 learned tensors Tensor coverage80/80 decisions Integer behavior | Research |
| int-llm SQLSQL | Integer & embedded | SQL executes model loading, transformer arithmetic, deterministic sampling, and regression checks without custom functions or extensions. | 69,748 rows Oracle trace11,750 vectors Arithmetic gate | Completed |
| int-llm PostScriptPostScript | Integer & embedded | A complete small transformer and trainer in PostScript, with exact wide and F12 checkpoint verification through Ghostscript. | 20/20 samples Inference agreement5,000 steps Training agreement | Completed |
| int-llm BrainfuckBrainfuck / C / Python | Integer & embedded | Generators and a generic byte-cell runner for integer-only transformer inference and training in Brainfuck, with recorded comparisons against C. | 16.40 GB Generated inference210.30 GB Generated trainer | Completed |
| int-llm visualizationsJavaScript / Python / C | Integer & embedded | A weight atlas, inference trace, embedding-space viewer, and 3-D weight explorer for the complete small integer-model checkpoint. | 4 offline pages Visual surfaces14,272 weights Checkpoint scope | Research |
| k-tuplet-searchCUDA / C | Computational search | A code-first prime-tuplet search engine with a generated pattern catalog, record replay corpus, campaign controls, and browser analyzer. | 7,041 lines Production GPU2,749 lines CPU reference | Active |
| cunningham-chain-dataData / Python | Computational search | A compact data repository with schema, manifest, sample, conversion script, and full cumulative snapshots published as release assets. | 1,551,489 roots Published snapshot2 CC18 roots Longest results | Completed |
| four-square-balanceC / Python | Visual mathematics | Code, verified data, and an interactive shape-space view supporting the published OEIS sequence A396760. | OEIS A396760 Published sequencen < 10^9 Exhaustive range | Completed |
| three-square-balanceC | Visual mathematics | Independent search paths, verified data, and an interactive visualization supporting the published OEIS sequence A395008. | OEIS A395008 Published sequencen < 10^9 Exhaustive range | Completed |
| Spec MirrorJSON / Python | Writing tools | Review rules, examples, and a compact prompt generator for making components, behavior, terminology, and requirements explicit. | 51 tags Review taxonomy7 layers Review dimensions | Maintained |
| Rhetorical MirrorJSON / Markdown | Writing tools | A small self-editing aid for plain posts and emails, combining pattern tags, a review prompt, and before/after README evaluations. | 41 tags Pattern taxonomy7 layers Pattern families | Maintained |
| p2 odd raysPython | Visual mathematics | A small Python math-art project that maps positive integers into equivalent shell-and-ray views using integer and bitwise operations. | 2 constructions Equivalent viewsSVG + PNG Reproducible outputs | Archived |
| power-two-square-raysMarkdown | Visual mathematics | The former repository location is retained as an archive notice; its exploratory code and notes moved to p2-odd-rays-visual-math-toy. | 1 file Current treeArchived Repository state | Archived |