pulse-dev

Backend-agnostic math compute kernel: symbolic, numeric, units and control, with provenance (backend, version, assumptions, verification) in every answer. Python API, CLI, HTTP and MCP.

Init-only Lean 4.22 certificate for the Fermat quintic fourfold V(F5). Not a Hodge close. Z uncomputed.

GA4GH Variation Representation Python Implementation

PLEXIL5 is a Formal Verification Environment for PLEXIL

Rune: Native UI framework

An optimal design of experiments library written in pure Rust. Read-only mirror of https://git.sr.ht/~maunke/odesign. This repository does not accept pull requests. Please send contributions to https://lists.sr.ht/~maunke/odesign-devel.

A minimal, self-contained implementation of a Lean 4-style theorem prover kernel in Rust.

Python library for exact all-integer symbolic computation in Buckminster Fuller's Synergetics — rational SymergeticsNumber arithmetic with no floating-point error, Quadray 4D tetrahedral coordinates, polyhedral volume ratios, Scheherazade numbers and primorials, and matplotlib/plotly/ASCII output, w

HITSZ 控制理论中的代数基础

Sample PDK for Superconducting RF Quantum Circuits

TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.

11 Claude skills for day trading: scan thousands of charts, track breaking news, time every entry and exit, and replay every outcome before you risk a dollar.

Surrogate modeling and optimization for scientific machine learning (SciML)

Library for the analysis of networks

Plugin, scheduling, and lifecycle framework for Rust scientific simulation applications

Nightly conda packages for SciPy

A protocol-agnostic physics simulation library for embedded systems.

A VCF normalizer in Bend 2 with a machine-checked proof that it follows its specification

The Verum Programming Language

TGL — Teoria da Gravitação Luminodinâmica. um.py: a self-proving artifact with an embedded Lean 4 kernel (1428 files, 29294 audited terms, ladder 9539/9539). PROVED = validity in the kernel; accreditation refused — nature decides. Latest reading: z_disc = 4.44 (p 4.4e-6), below the 5σ step. Start: t