Blog on formalizing key transformer invariants.
☆26Sep 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…☆78Updated this week
- A curated list of Lean 4 libraries, tools, frameworks and learning resources for programmers☆19Oct 21, 2026Updated 2 weeks ago
- Auto install and set up Headroom for Hermes Agent. 70% token use reduction!☆13Jun 12, 2026Updated 4 months ago
- Lean4 Code Editor☆19Oct 9, 2026Updated 3 weeks ago
- End-to-end formally verified solvers for the isothermal Euler and full compressible Euler equations in 1D, 2D, and 3D.☆16Aug 10, 2026Updated 2 months 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.
- An open research program exploring the mathematics of artificial thought: information geometry, topology, dynamical systems, and thermody…☆19Updated this week
- Mandala is an E(3)-Equivariant Graph Neural Network Framework for Learning Electronic-Structure Operators with Observable Guidance based …☆12Updated this week
- Oi you who's there? The OCaml Installer!☆15May 26, 2026Updated 5 months ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- The Headless IDE — an MCP server that gives AI coding agents AST-aware semantic code intelligence and LSP navigation.☆15Sep 17, 2026Updated last month
- Reward-Separable Group Relative Policy Optimization for Video Reasoning☆10Jun 25, 2026Updated 4 months ago
- Irreducible Cartesian Natural Tensor Networks -- CarNet☆12Jul 13, 2026Updated 3 months ago
- ☆12Oct 30, 2026Updated last week
- Official implementation of SOVA: Strict Outcome-Conditioned Virtual Advantages for Video Reasoning. Correctness-oriented calibration for …☆24Sep 14, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This is the implementation of CounterCurate, the data curation pipeline of both physical and semantic counterfactual image-caption pairs.☆19Jun 27, 2024Updated 2 years ago
- Code for "Enhancing Materials Discovery with Valence Constrained Design in Generative Modeling"☆14Apr 2, 2026Updated 7 months ago
- Frechet inception distance (FID) evaluation in JAX☆14May 28, 2024Updated 2 years ago
- CC0 photoreal human head in stock Godot 4.6 Forward+ — EULA-free alternative to the MetaHuman pipeline, same MatMADNESS skin shader.☆16Oct 28, 2026Updated last week
- PASQA: Pitch-Accent-Focused Speech Quality Assessment Model Trained on Synthetic Speech with Accent Errors☆26Updated this week
- A framework for scalable, distributed discovery systems.☆15Jul 8, 2026Updated 4 months ago
- Code for calculating grouped representation of interatomic distances (GRID) from crystal structures, and applying this in machine learnin…☆13Jun 22, 2023Updated 3 years ago
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆21Oct 23, 2026Updated 2 weeks ago
- Molecular visualizer for marimo notebooks☆16Sep 3, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Scaling Density Functional Theory with Gaussian Splatting☆16Oct 17, 2026Updated 3 weeks ago
- OCaml Bindings to MLIR☆16Dec 11, 2020Updated 5 years ago
- Official Implementation of Decomposer: Learning to Decompile Symbolic Music to Programs☆20Sep 15, 2026Updated last month
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- Blazingly fast Polars dataframe stats – describe() on steroids☆15Oct 30, 2026Updated last week
- ☆20Jul 2, 2026Updated 4 months ago
- Numerical computing in Hoon with support for jetted runtimes.☆11Updated this week
- Real-time design blueprint review editor☆17Nov 21, 2022Updated 3 years ago
- Code for “Speculative Sampling For Faster Molecular Dynamics”.☆16Jul 28, 2026Updated 3 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.
- A dashboard for visualising benchmark results from benchmarkdotnet-results-publisher☆12Updated this week
- a pseudo-2D stellar evolution code with rotation, modern microphysics, and starspots☆18Updated this week
- i-PI: a universal force engine☆13May 12, 2026Updated 5 months ago
- ☆15May 28, 2025Updated last year
- Julia implementation of LULESH with MPI + X.☆12Jul 23, 2022Updated 4 years ago
- ☆18Apr 24, 2024Updated 2 years ago
- ☆16Jul 3, 2023Updated 3 years ago