☆48Nov 11, 2026Updated this week
Alternatives and similar repositories for YM
Users that are interested in YM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OpenAI construction of pure Yang-Mills obtained 10/28/2026☆67Nov 5, 2026Updated last week
- i18n library for Lean.☆14Oct 22, 2026Updated 3 weeks ago
- Digital Longevity Research☆21Oct 7, 2026Updated last month
- Quasi-Riemann bounds, Lean formalizations, and independent proof verification.☆15Updated this week
- High-Performance Hyperbolic Sparse Autoencoders for Mechanistic Interpretability☆13Aug 15, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- repository for the collaborative formalization seminar in Analysis in Bonn☆10May 1, 2026Updated 6 months ago
- s7 Scheme library☆12Mar 16, 2025Updated last year
- Full-stack framework powered by the WASM Component Model.☆12Updated this week
- Improved exponent bounds for the exact discrete Fourier transform, building on OpenAI Math Problem #130.☆18Oct 13, 2026Updated last month
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equat…☆18Sep 9, 2026Updated 2 months ago
- Formal proof that the optimal exercise boundary of an American put option is log convex when the constant dividend yield is nonnegative a…☆20Sep 7, 2026Updated 2 months ago
- ASCI Summer Research Lean☆10Oct 29, 2026Updated 2 weeks ago
- Uxn emulator for web engines and cli written in TypeScript (Work In Progress)☆13May 27, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- META II compiler, assembler and bytecode interpreter.☆18Jan 20, 2026Updated 9 months ago
- Duality theory in linear optimization and its extensions☆12Feb 26, 2026Updated 8 months ago
- ☆16Jun 9, 2024Updated 2 years ago
- Single-header UI extension for RSGL☆12Dec 31, 2024Updated last year
- ☆24Aug 25, 2026Updated 2 months ago
- Closed-form polynomial approximations to neural networks☆13Jan 31, 2025Updated last year
- Formalization of de Rham cohomologies of a smooth manifold☆10Jun 4, 2025Updated last year
- Analytic Number Theory high-precision GnuMP routines☆20Feb 3, 2024Updated 2 years ago
- Formalization of Iwasawa Theory in LꓱꓯN (tentative)☆11Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 12, 2026Updated 7 months ago
- Bindings and specification for BLAS☆11Feb 12, 2026Updated 9 months ago
- ☆14May 27, 2024Updated 2 years ago
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆16Jan 15, 2024Updated 2 years ago
- Power series arithmetic in Lean☆14Nov 22, 2025Updated 11 months ago
- The famous 2048 game built using Flame Engine and Flutter, includes score and sound configuration☆12Aug 14, 2022Updated 4 years ago
- ☆19Aug 22, 2024Updated 2 years ago
- Tools for writing good AI generated papers☆17Oct 24, 2026Updated 2 weeks ago
- Example of using s7 Scheme with web assembly and emscripten☆16Jul 29, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- DirectX implementation on Metal☆24Oct 28, 2026Updated 2 weeks ago
- [ICML'26 Spotlight] Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving☆31Jun 29, 2026Updated 4 months ago
- Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core☆22Feb 18, 2026Updated 8 months ago
- A Brain Story Game built using Flutter + Flame☆12Aug 21, 2022Updated 4 years ago
- End-to-End Network based Deflectometry for Specular Free-Form Surface Reconstruction☆11Nov 26, 2024Updated last year
- instructions on the CubeFactory 2☆12Oct 7, 2019Updated 7 years ago
- Set Theory Game☆31Oct 17, 2026Updated 3 weeks ago
Are these results useful?