Starred repositories
Just for fun - calculate the stats of the swiss lottery
The library for web and native user interfaces.
Open-source orchestration for zero-human companies
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
Ollama LM Studio Bridge script with documentation - Use your Ollama managed models with LM Studio!
The context development platform. Store, enrich, and retrieve structured knowledge with graph-native infrastructure, semantic retrieval, and portable context cores.
Draws the Collatz Conjecture multiverse from this video! https://www.youtube.com/watch?v=n63FBYqj98E
Fast inverse square root in programming languages
HMI for a curta mechanical calculator. ATMEGA2560, 16x2 LCD, 4x4 touch pad, Status LEDs, n stepper motors
Generative AI Application Builder on AWS facilitates the development, rapid experimentation, and deployment of generative artificial intelligence (AI) applications without requiring deep experience…
Formal Euclidean Geometry Course, Rutgers Math Corps
A collection of formalized statements of conjectures in Lean.
AlexKontorovich / Numbers
Forked from riccardobrasca/NumbersAn introduction to numbers
A collection of formalized statements of conjectures in Lean.
Blueprint for the PNT+ Project
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
This repo contains the code needed to extract, embed, and visualize the dependency graph of mathlib4, the database of over 500k formal statements and proofs in Lean.
Lean 4 formalization of ord_{2^t}(3) = 2^{t-2} and supporting lemmas for Collatz analysis
Formalization of elements of (Euclidean) geometry in Lean4 using Mathlib4.
Formal verification of the logical incompatibility between the P=NP hypothesis and the Witten-Helffer-Sjöstrand tunneling theorems in spectral geometry. Implemented in Lean 4.