helix-ai

Lean 4 skeleton of Grothendieck standard conjectures A/B/C/D: statements and implication theorems. Does not prove conjecture B.

Julia PNJL/NJL 计算平台：相图与扫描、Mott 相变/介子质量、各向异性输运/弛豫时间、守恒荷扩散系数、介子热力学、Models 统一入口与可复现工作流。

考研历年真题PDF与 Anki 卡包：考研数学一、二、三历年真题 PDF（真题试卷、答案速查、答案详解、真题与详解）及离线 Anki；同时提供考研政治历年真题、考研408历年真题、2026/2027 红宝书与刘晓艳词汇。各学科固定 Release 提供版本表格、直接下载与下载统计，持续更新更多 PDF 和 Anki 资料。

NISQ Quantum Simulation toolkit- JAX-Native.

Quantum Resource Estimate Format

A Python native dynamical system simulation framework in the block diagram paradigm.

🌟本项目自动抓取并索引科学空间的文章元数据，按研究主题进行规则分类，方便在 GitHub 上快速浏览并跳转到原文。

Michal–Bastiani calculus on locally convex spaces, formalized in Lean 4 / Mathlib

Universal components for differentiable scientific computing. :package:

An on-device AI agent for Android that operates apps and the web to get things done for you.

DeepSpot: Deep learning model for predicting spatial transcriptomics from H&E histopathology images. Supports spot-level (Visium) and single-cell (Xenium) resolution.

TeXmacs development. If you look for bug fixes try TeXmacs Fixes (wip_fixes default branch) or better try TeXmacs Upsilon, a bleeding-edge version of TeXmacs (branch [upsilon_texmacs](https://github.com/mgubi/texmacs/tree/upsilon_texmacs))

Kvant magazine (1970 to present) as Markdown: page complete transcriptions, permanent tags, English translations and worked solutions

Record computational experiments and create machine-verifiable evidence: integrity hashes, opt-in re-execution and numerical tolerances. Local-first, no runtime dependencies.

Quantum strategies for Levine’s hat game using one Bell pair, with a paper, Lean 4 proofs, and a Cirq demo.

Lean-first certification and replay pillar for Grand Challenge Labs

A fast, ad-free home screen for Google TV, LG webOS and Samsung Tizen. One button to undo.

A bunch of functions which are helpful for maintaining large Github organizations

AI research agent for nuclear physics: 23 expert skills that install, run, and verify open-source codes (FRESCO, TALYS, SMASH, ...) plus a 61k-paper offline nucl-th knowledge base

Reduce width and depth of quantum circuits by cutting gates and wires.