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

A conda-forge distribution.

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.

An introduction to numbers

A collection of formalized statements of conjectures in Lean.

Blueprint for the PNT+ Project

Lightweight Plain-Text Editor for macOS

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A Lean companion to Analysis I

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

University Master Thesis

The math library of Lean 4

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.

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

Formalization of amicable numbers theory in Lean 4, including Thābit ibn Qurra's rule and Euler's generalization

😎 A collection for awesome reposities that helps with Amazon Kindle.

Fast ebook conversion library for EPUB and Kindle formats

Evil-M5Project is an innovative tool developed for ethical hacking and exploration of WiFi networks. It's compatible with Cardputer, Atoms3, Fire, core2. You can scan, monitor, and interact with Wi…

A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32

Predatory ESP32 Firmware