Andrzej Odrzywołek

emlcore. Multiplierless stack machine computing 10 transcendental functions (exp, ln, sin, cos, tan, sqrt, pow, atan2, exp2, log2) in Q16.24 fixed-point. Zero DSPs.

eml-formalization. Lean 4 + Mathlib formalization of arXiv:2603.21852 (Odrzywołek, EML)

EML-operator. Makefile

eml-sheffer-obstructions. Impossibility theorems for self-seeding analytic Sheffer operators, responding to Odrzywolek (2026)

emlvm. A VM based on https://arxiv.org/pdf/2603.21852

eml_star. Companion operator eml★ for non-holomorphic functions — Monnerot 2026

eml-lean. Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)

EML-graphing. A simple website to graph, compute and copy EML expressions, based on Odrzywołek (2026).

one-for-all-operator. Interactive visualization of how all elementary functions can be constructed from a single binary operator (EML)

MLeml. Pure Python implementation of the EML (Exp-Minus-Log) operator eml(x, y) = exp(x) - ln(y) that can express every elementary function (sin, cos, log, sqrt, exp, arithmetic operations, constants π, e, i, etc.) using only this operator and the constant 1. Includes symbolic expression builder and gradient-based symbolic regression via EML trees.

eml-fractal-explorer. Drawing eml set, which recursively defined set on points in C that use eml(x,y) oeprator

eml_opamp_compiler. Python

emlmath. Rust

two_button_calculator. EML + 1

weftos. Rust

RuView. π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.

all_functions_from_eml. Implementation of 'All elementary functions from a single binary operator'(arXiv:2603.21852)

optimizationproblems. A collection of optimization problems in mathematics

AdderBoard. Smallest transformer that can add two 10-digit numbers

VictorTaelin.

lax-wendroff-solver. Fortran

CL4R1T4S. LEAKED SYSTEM PROMPTS FOR CHATGPT, CLAUDE, GEMINI, GROK, PERPLEXITY, CURSOR, LOVABLE, REPLIT, AND MORE! - AI SYSTEMS TRANSPARENCY FOR ALL! 👐

palace. 3D finite element solver for computational electromagnetics

teuk-fortran-2020. Numerically solve the Teukolsky equation for the linear perturbation of psi4, reconstruct the metric from psi4, and solve the second order teukolsky equation for the second order perturbation of psi4, all about a Kerr black hole background.

Cello. Higher level programming in C

sizecoding. repo of my sizecoding entries

container2wasm. Container to WASM converter

hvm-64. Rust

nougat. Implementation of Nougat Neural Optical Understanding for Academic Documents

osm-budynki-orto-import. 🏠 OpenStreetMap, AI import tool for buildings in Poland

OGRe. An object-oriented general relativity package for Mathematica.

SymbolicRegression.jl. Distributed High-Performance Symbolic Regression in Julia

PySR. High-Performance Symbolic Regression in Python and Julia

karoo_gp. A Genetic Programming platform for Python with TensorFlow for wicked-fast CPU and GPU support.

openstreetmap-carto. A general-purpose OpenStreetMap mapnik style, in CartoCSS

brouter-online. Unofficial web client for the BRouter routing engine.