PyTorch original implementation of "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" (NeurIPS 2024).
☆81Jan 23, 2025Updated last year
Alternatives and similar repositories for Lyapunov
Users that are interested in Lyapunov are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic learning of (linear and nonlinear) control functions for nonlinear dynamical systems with stability certificates. The stability…☆14Jan 9, 2025Updated last year
- Official implementation of CoNSAL for analytical Lyapunov function discovery☆12Jun 26, 2024Updated 2 years ago
- [Re-Write in-progress!!] Learn how to use Karma to run your tests in Real Browsers!☆10Oct 12, 2016Updated 9 years ago
- Repo to host book about Lagrangian Descriptors technique☆16Jul 6, 2023Updated 2 years ago
- ☆13Aug 29, 2022Updated 3 years 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.
- ☆39Feb 26, 2024Updated 2 years ago
- The ForzaETH particle filter model optimized for autonomous racing.☆17Sep 3, 2025Updated 9 months ago
- 东华大学 LaTeX 论文模板 | Donghua University LaTeX Thesis Template☆12Apr 17, 2024Updated 2 years ago
- ☆18Mar 12, 2026Updated 3 months ago
- G2ELin is an open-access power system linearization tool developed by Fadi Kelada, a PhD candidate at University of Grenoble Alpes and Gr…☆17Aug 19, 2024Updated last year
- The implementation of Meta-Pec☆13Sep 13, 2023Updated 2 years ago
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆45Apr 13, 2026Updated 2 months ago
- A flexible system for managing various types of sources (papers, books, webpages, etc.) and integrating them with knowledge graphs.☆18Mar 9, 2026Updated 3 months ago
- This set of codes implements our NAPS paper "Reduced Optimal Power Flow Using Graph Neural Network". This work is under the open license:…☆14Feb 23, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Pytorch implementation of Pocket2Drug: a generative deep learning model to predict binding drugs for ligand-binding sites.☆22May 19, 2022Updated 4 years ago
- Lightweight arXiv literature digest skill for OpenClaw — Zotero-driven interest profiling, 3-dimensional candidate ranking, abstract-firs…☆47Mar 24, 2026Updated 3 months ago
- ☆14Oct 26, 2022Updated 3 years ago
- Robot Reinforcement Learning on the Constraint Manifold☆64Nov 30, 2021Updated 4 years ago
- Quick reachability using zonotopes.☆11May 25, 2020Updated 6 years ago
- Composite-body algorithm of the discrete Cosserat methods for soft manipulators dynamics☆11Dec 24, 2020Updated 5 years ago
- A repo for the racing stack code we used in ICRA'22 F1TEHTH competition.☆28Jan 13, 2024Updated 2 years ago
- L4DC2021 code repository☆14Apr 14, 2021Updated 5 years ago
- Open source multimodal OpenLKA dataset☆19Feb 13, 2026Updated 4 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.
- Classic Chess game using x86 Assembly Language☆11Apr 23, 2019Updated 7 years ago
- ☆45Mar 4, 2025Updated last year
- 2023 Capstone Design☆11Nov 2, 2023Updated 2 years ago
- ☆15Mar 6, 2024Updated 2 years ago
- 概率论与数理统计习题课☆14Sep 10, 2019Updated 6 years ago
- ☆10Apr 27, 2025Updated last year
- ROS Pure-Pursuit Package for the F1/10 Racecar☆28Sep 15, 2021Updated 4 years ago
- Calibration tool for the EIDM car following model☆11Jul 30, 2024Updated last year
- A prototype to write blog posts with executable ocaml code blocks☆11Apr 25, 2025Updated last year
- 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.
- ☆16May 3, 2026Updated last month
- Algorithms and datastructures for phylogenetics☆14Dec 24, 2025Updated 6 months ago
- ☆26May 14, 2024Updated 2 years ago
- A roundabout traffic conflict dataset☆15Jan 15, 2024Updated 2 years ago
- Code and website for "MolmoB0T: Large-Scale Simulation Enables Zero-Shot Manipulation".☆89Jun 4, 2026Updated 3 weeks ago
- Virtual Piano with ASCII based UI using x86 Assembly Language.☆10Feb 1, 2021Updated 5 years ago
- ☆16Mar 27, 2016Updated 10 years ago