Blog on formalizing key transformer invariants.
☆25Sep 15, 2026Updated last month
Alternatives and similar repositories for lean-transformer
Users that are interested in lean-transformer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆19Oct 4, 2026Updated 2 weeks ago
- Lean4 Code Editor☆19Oct 9, 2026Updated last week
- ☆20Aug 17, 2026Updated 2 months ago
- Streaming Persian (Farsi) speech recognition: fine-tuning NVIDIA Nemotron 3.5 ASR streaming. Data prep, training, evaluation, inference.☆63Oct 3, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MIRA Mini one-click local player — pip install alakazam-mira-mini; mira-mini play☆40Jul 18, 2026Updated 3 months ago
- A given challenge to display list of transfer destinations and their detail page☆10Apr 24, 2023Updated 3 years ago
- Implamentation of go csp in c. For Amirkabir os workshop☆20May 28, 2025Updated last year
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated 3 weeks ago
- [ICML 2026 Oral] Code for "Skip a Layer or Loop It? Learning Program-of-Layers in LLMs"☆47Sep 28, 2026Updated 3 weeks ago
- Julia implementation of LULESH with MPI + X.☆12Jul 23, 2022Updated 4 years ago
- Small LD_PRELOAD library to show allocation stats☆14Feb 12, 2026Updated 8 months ago
- Create 3D worlds with Three.js☆28Feb 9, 2026Updated 8 months ago
- ☆15May 28, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Neural Graphics SDK for Game Engines is Arm’s unified graphics software development kit designed to support multiple rendering use cases…☆35Jul 30, 2026Updated 2 months ago
- A rust port of con-leche☆33Updated this week
- An external lean checker with a proof of consistency☆139Updated this week
- ☆14Jul 15, 2025Updated last year
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- ☆82Sep 11, 2026Updated last month
- End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.☆53Jul 20, 2026Updated 2 months ago
- ☆11Apr 30, 2025Updated last year
- prompt library for calculus resources☆16Sep 1, 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.
- A benchmark suite and re-usable collection of differentiable physics solvers.☆27Updated this week
- A MapReduce implementation of HashToMin for finding Connected Components in a graph.☆10May 18, 2016Updated 10 years ago
- Documents related to an attempt with Levent Alpoge to get Claude to finish Balaban's program to construct Yang--Mills. (Under constructio…☆49Updated this week
- Speeding Up Your Python Codes 1000x☆13Apr 2, 2025Updated last year
- ☆16Jul 3, 2023Updated 3 years ago
- This repo contains the benchmarks for Enzyme on GPU's☆11Aug 11, 2026Updated 2 months ago
- A differentiable astrophysics simulator in JAX☆12Oct 1, 2026Updated 2 weeks ago
- Library to visualize huge tables in web environments☆10Aug 30, 2022Updated 4 years ago
- PorTAL generates portable task specific LoRA adapters that can efficiently transfer across language models.☆126Jul 27, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Save conversations, search by idea, read the surrounding context. Memory for AI agents.☆39Sep 19, 2026Updated last month
- Differentiable N-body code (JAX)☆11May 8, 2025Updated last year
- Proof search with a diversity-balanced symbolic frontier, bounded future atlas, and optional language-model guidance.☆23Oct 3, 2026Updated 2 weeks ago
- Formalization of the Millennium Problems in Lean 4☆71Sep 14, 2026Updated last month
- AIBuildAI LLM-Post-Train Agent: a recursive self-improving (RSI) agent for autonomous LLM post-training☆105Sep 23, 2026Updated 3 weeks ago
- The gee library is a Python package designed for processing and analyzing Sentinel-1 and Sentinel-2 satellite imagery using Google Earth …☆11Nov 24, 2024Updated last year
- High-Performance Multi-Platform TAS Optimization Bot☆30Updated this week