lean-dojo / FloatLib

Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and decimal, posits, and custom formats.

amanbadave7 / Mathcad-Engineering-Math-Suite

Mathcad 2026 Engineering Math Setup for Windows 11 and 10: Install Guide

SuperJJ007 / papermachine

The AI analyst that shows its work. Runs Python and R on your own machine, and traces every chart back to the code behind it.

pipelinelabai / paperbench-expanded

PaperBench High-Difficulty and Expanded Tasks: paper reproduction beyond machine learning. 93 tasks in 12 research areas, run in domain-native software and graded by clean replay. 12 public tasks.

Xiuyiw / CFD-SCIPaper-Agent

Author-in-the-loop toolkit for turning mature CFD evidence into defensible research directions, reproducible figures, and traceable scientific prose.

ECLIPSE-AI4Science / gradsolve

Differentiable ensemble solvers for differential equations on GPUs, in JAX

DresdenGman / DresdenGman

Trustworthy ML, scientific open source, and probabilistic systems.

haoming-luo / agentfem

AI-native open-source finite-element platform connecting engineering, computation, data, and AI.