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.

Rendering Kryptos ciphers in HTML

Swedish capital income tax per calendar year inside Wealthfolio — ISK, depå and crypto, with a K4/SRU export for Skatteverket

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

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

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

A website based on the work by Jim Sanborn

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

Bilingual public-science surface for the K4 Cell Framework: beauty, evidence, open bridges, and public review.