cipher-agent

misterdownloadmanager: The ultimate open-source, clean-room download manager written from scratch in pure Rust for Windows, Mac, and Linux

把课本上看不懂的地方画成图，再配上一步不跳的题解。覆盖复变、概率、大物、模电、运筹、C++、数据结构、AI、六级等课程，持续更新中

A small JSON format that records correspondences between mathematical documents, such as a book passage and a Lean declaration.

Buy a Theorem: a new, small, Lean-checked lemma named for you, with an open registry anyone can verify. Precedent: TheoryMine (2010).

LeanDLRA: a machine-checked Lean 4 + Mathlib library for dynamical low-rank approximation (DLRA): projector calculus, robust KSL/BUG error bounds, stability, conservation, low-rank training. No sorry in the library, standard axioms only.

Public mathematical results, verification artifacts, and research records from the Argus AI Team.

Single-cell perturbation analysis

Knowledge base for software engineers and research engineers

Tools for writing three explanations of a mathematical result, with links from each paper to the computer-checked proof.

Repositorio de apuntes, exámenes, y recursos varios del Doble Grado en Ingeniería Informática y Matemáticas de la UGR.

Trending open-source repository: nasa/terra-ui-components

HACL*, a formally verified cryptographic library written in F*

QuTiP: Quantum Toolbox in Python

Switch games running natively on iPhone, iPad and Mac: an NSP folder becomes an unsigned IPA (NSO rewriter, Horizon HLE host, NVN→Metal)

Experimental proof assistant with a controlled natural language, higher-order Tarski–Grothendieck set theory as foundation, and proof automation powered by automated theorem provers

defines additional irrationals

Software for biomolecular electrostatics and solvation calculations

Lean 4 formalisation of Bertrand Meyer's specifications of word wrap, from "On Formalism in Specifications" (1985) and his Requirements handbook (2022).

SED_Tools is a sofware suite to provide easy attainment, manipulation and creation of synthetic photometry data products

Explicit numerical and mathematical primitives, algorithms, and bounds for Go.