synth-dev

DeepInfer: High-performance, large-scale inference framework for DeepSeek models

Python framework for fast Lorenz Mie scattering simulations, including far field scattering, efficiencies, cross sections, and detector coupling for spheres and cylinders.

CL10 research codebase: physics simulations and experiments (vertex correction, Wilson loops, cone isotropy).

Static curl binaries

Quantum computing simulator in Go

C++ library for solving large sparse linear systems with algebraic multigrid method

MQT ProblemSolver - A Tool for Solving Problems Using Quantum Computing

apenas me aponte qual universo observável vou abstrair hoje

Build durable filesystem-based queues and shared tensor storage for distributed AI pipelines.

Check the proofs already written in a LaTeX paper by translating them faithfully into Lean 4, with a team of Claude Code agents

Quantum Computing course, Computer Science M.Sc., Ben Gurion University of the Negev, 2020

The Core Flight System (cFS) Core Flight Executive (cFE)

Let AI explore. Verify what you trust. A standalone neuro-symbolic Agent architecture with independent checks and residual feedback for planning, customer support, math, and engineering.

Lean proofs and executable models of tensor-core arithmetic, non-monotonicity, and TC-EFT, with bit-level and FloatLib implementations.

Mersenne prime search using integer arithmetic and an IDBWT via an NTT executed on the GPU through OpenCL.

Structured catalog & community verification tracker for openai/math — 722 AI-generated math manuscripts parsed to JSON/CSV + Lean formalization & community verification status. 722 篇 AI 数学手稿的结构化目录与社区验证追踪

ocean wave modelling lab around WW3 (NOAA's third-generation spectral wave model): 16-lesson course, runnable cases, a Nix-pinned Fortran/MPI/NetCDF toolchain with one-command regression tests, RTX 4090 GPU benchmarks, and a markdown-to-PDF pipeline built in CI

cysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/

Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)

Github repo for the book Introduction to Ordinary Differential Equations with Scientific Applications by C. L. Loi