k4

q/k4 language (kx.com) plugin for JetBrains IDEs

Cubic graph enumeration project based on "Fast generation of cubic graphs" paper.

IOT BandSelector (also known as a Band Decoder) works with Antenna Switch Controller to perform automated antenna selection on band change

Generate Swedish K4 tax forms and SRU files from Interactive Brokers (IBKR) trade data. Supports option trades, assignments, exercises, and pre-calculated trades from other sources.

A rigorous **Meta-of-Physics & Topological Grammar**, not an ad-hoc speculative model, not a rival empirical physics theory. Internal type-safety rules account for and resolve apparent contradictions.

Convert Trading 212 transaction history to Swedish tax form K4 (Bilaga B) format!

Attempting to bruteforcing kryptos k4 with Neural Networks, a 30+ years old unsolved cipher

Rendering Kryptos ciphers in HTML

Attempts to decrypt the famous CIA's Kryptos sculpture's remaining K4 message, before its solution is auctioned in November 2025.

A website based on the work by Jim Sanborn

One binary distinction forces K₄. Machine-verified derivation in Agda --safe --without-K, zero postulates.