Analytic 3D MHD equilibria
☆38Sep 24, 2026Updated 3 weeks ago
Alternatives and similar repositories for analytic_3d_equilibria
Users that are interested in analytic_3d_equilibria are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- ☆39Sep 27, 2026Updated 3 weeks ago
- Official Training and Benchmarking Implementation of PDMD: Projected Distribution Matching Distillation for Video Diffusion Models☆75Oct 8, 2026Updated last week
- ☆173Oct 5, 2026Updated 2 weeks 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.
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- ☆33Aug 27, 2026Updated last month
- DSH 插件生态基建：薄控制台（浏览器面板管理官方 repository 插件，0 patch）+ make-dsh-plugin skill 官方插件开发引导☆58Oct 3, 2026Updated 2 weeks ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Updated this week
- Turn any off-the-shelf LLM into a Jev -like decision layer☆47Oct 1, 2026Updated 2 weeks ago
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆86Aug 30, 2026Updated last month
- 东方财富股 吧爬虫☆10Dec 26, 2018Updated 7 years ago
- Low-latency, audio-native turn detection model using Whisper Tiny with a dual-scale attention classification head. Optimized for Hindi, H…☆28Aug 22, 2026Updated last month
- MOCA: Self-supervised Representation Learning by Predicting Masked Online Codebook Assignments☆13Jul 8, 2024Updated 2 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.
- Plots and figures relevant for a fusion research lecture☆44Apr 7, 2026Updated 6 months ago
- A command-line interface for https://plane.so, an open-source project management tool. The CLI allows you to manage projects, work items,…☆28Aug 18, 2026Updated 2 months ago
- .NET 6.0 MVC Website integrated with ServiceStack using MVC Identity Auth☆11Nov 19, 2023Updated 2 years ago
- ☆47Sep 30, 2026Updated 2 weeks ago
- A collection of styles and helper functions for making nice plots with matplotlib☆28Jul 21, 2026Updated 2 months ago
- ☆12Jul 15, 2018Updated 8 years ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated last week
- ☆72Updated this week
- FIRM3D (Fast Ion Reduced Models in 3D) is a software suite for modeling of energetic particle dynamics in 3D magnetic fields.☆16Updated this 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.
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- How to say it using Mathlib.☆21Updated this week
- A Python version of the Magnetic field diagnostic package Oculus☆11Oct 12, 2026Updated last week
- An open recursive self improvement agent☆53Aug 13, 2026Updated 2 months ago
- KiNetic Orbit-averaging SOlver for Stellarators☆16Dec 22, 2023Updated 2 years ago
- Local-first MCP App for scientific figures. Import, review, and publish a global library on disk; reuse exact templates in Pi, DeepSeek H…☆123Updated this week
- Search and memory across your AI coding sessions — one index over Claude Code, Codex, and Pi. Fuzzy-find and resume from the CLI, give ag…☆39Oct 10, 2026Updated last week
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 4 years ago
- Tool for Optimization and Group-structure Analysis of nuclear multi-group cross sections☆12Oct 20, 2022Updated 3 years 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.
- metaTextGrad: Automatically optimizing language model optimizers. Published in NeurIPS 2025.☆15Nov 5, 2025Updated 11 months ago
- My personal Python package for plotting and data processing.☆15Sep 3, 2024Updated 2 years ago
- Coupled-Channels optical model and Hauser-Feshbach theory for nuclear reactions☆14Sep 30, 2026Updated 2 weeks ago
- Deployment example for a scikit-learn/lightgbm pipeline☆10Feb 28, 2021Updated 5 years ago
- A measured tool-call firewall for AI agents: allow, ask or deny before the agent acts. Claude Code mod and hook, MCP proxy. Built on Type…☆25Updated this week
- Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability☆15Oct 5, 2026Updated 2 weeks ago
- ASCOT5 is a high-performance orbit-following code for fusion plasma physics and engineering☆60Updated this week