Automatically prove mathematical statements about your jax code in lean
☆52Aug 6, 2026Updated 2 months ago
Alternatives and similar repositories for noether
Users that are interested in noether are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆72Updated this week
- Functional JAX middleware using a compute Node abstraction☆22Sep 6, 2026Updated last month
- An ASE-friendly implementation of the amorphous-to-crystalline (a2c) workflow.☆18Oct 19, 2025Updated 11 months ago
- A Convex component for caching values that are expensive to compute☆16Updated this week
- ☆20May 7, 2024Updated 2 years 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.
- cleans build files☆18Jul 29, 2026Updated 2 months ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆16Jul 11, 2026Updated 3 months ago
- ☆23Aug 18, 2026Updated 2 months ago
- A rust port of con-leche☆32Updated this week
- Reversible molecular simulation☆14May 28, 2025Updated last year
- ☆37Oct 11, 2026Updated last week
- ☆27Aug 27, 2026Updated last month
- Alchemical machine learning interatomic potentials☆39Nov 8, 2024Updated last year
- Live Common Lisp image repair with OpenAI tools, persistent revisions, and a conversational CLI☆67Oct 7, 2026Updated last week
- 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 UI design system inspired by the 1970s☆329Oct 10, 2026Updated last week
- ☆19Mar 10, 2026Updated 7 months ago
- ☆27Updated this week
- PyTorch/PyG implementation of M3GNet☆12Sep 11, 2023Updated 3 years ago
- Connectome agent host runtime — runs Connectome agents, MCPLs, and the context-manager stack☆120Updated this week
- Standardising Technical Output Writing: standard for producing clear user-facing output, reliable agent-to-agent meta-code, valid structu…☆33Sep 11, 2026Updated last month
- ☆58Apr 22, 2026Updated 5 months ago
- Pseudopotential converter from upf to psp8☆11Jan 25, 2023Updated 3 years ago
- ☆88Sep 24, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Find star clusters with machine learning☆11Aug 25, 2017Updated 9 years ago
- ☆49Oct 9, 2026Updated last week
- ☆17Jul 23, 2026Updated 2 months ago
- Reforestation intelligence: draw an area anywhere on Earth, see what would thrive there. replantio.com☆90Sep 29, 2026Updated 2 weeks ago
- ☆268Sep 8, 2026Updated last month
- CLI + agent skill to scrub AI provenance marks from text and files☆66Sep 2, 2026Updated last month
- Python package containing a variety of distance functions for crystals, as well as evaluation metrics for crystal generation.☆33Jun 22, 2026Updated 3 months ago
- An agent skill for writing Hegel tests☆85Updated this week
- Build a compiler to solve Anthropic's interview challenge.☆135Jul 12, 2026Updated 3 months ago
- 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.
- Shared memory queues (channels) in Odin☆13Aug 6, 2023Updated 3 years ago
- This repository aims to build a comprehensive literature review of the economics of open source software. Contributions welcome.☆11Apr 2, 2025Updated last year
- FLOPS counter for all your GPU benchmarking needs☆13Aug 8, 2024Updated 2 years ago
- minimal library for image super-resolution implemented in jax☆13Jul 12, 2021Updated 5 years ago
- Robust and reusable Executor for joblib☆21May 13, 2026Updated 5 months ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆16Apr 22, 2024Updated 2 years ago
- An external lean checker with a proof of consistency☆137Updated this week