k4

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

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

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.

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

taking k4 analytics into relevant places and domains. seed-bank language. human concepts. an un-collapsed research engine running in live suspension, not a set of tentative preprints auditioning for journal acceptance. solid math and physics bets for sardinia to adjucate.

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

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 documented search of Kryptos K4: what the 24 released plaintext letters rule out, verified against planted ciphers

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

A website based on the work by Jim Sanborn

Native Linux driver, GUI and CLI for K4 USB mini laser engravers (Laser_K4ble alternative): precise low-power framing for alignment, DXF/SVG/text/QR/image jobs, byte-exact simulator. Single Rust binary.

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.

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

Kalima is a bank manager for the Kawai K4 / K4r synthesizer (1989) written in Python. It is made of a library (`k4lib`) that reads, writes and manages MIDI System Exclusive dumps, and a desktop application built on top of it