The intent of this repository is to build a database of control theoretic proofs in lean.
☆31Oct 24, 2026Updated this week
Alternatives and similar repositories for LeanForControl
Users that are interested in LeanForControl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Material for the mini-course on Deep Learning for System Identification (Lyon 2026)☆15Apr 25, 2026Updated 6 months ago
- ☆20Dec 10, 2025Updated 10 months ago
- ODESCA is a MATLAB tool for the creation and analysis of dynamic systems described by ordinary differential equations☆18Jun 16, 2025Updated last year
- Curated list of real-time video generation models for production deployment ⚡☆13Apr 15, 2026Updated 6 months ago
- Controlling a hexacopter with coaxial tilt rotors in simulation, understanding the various dynamics of such a system and creating a contr…☆12Mar 30, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An approximate implementation of the OpenAI paper - An Empirical Model of Large-Batch Training for MNIST☆11Nov 19, 2022Updated 3 years ago
- Functions plot PowerModels networks☆37Mar 12, 2026Updated 7 months ago
- ☆15Nov 5, 2025Updated 11 months ago
- Source code of FUMA GWAS web application☆14Updated this week
- ☆30Jul 10, 2026Updated 3 months ago
- Matrix pencil manipulations using Julia☆21Oct 29, 2025Updated 11 months ago
- Brainstorm how to make scientific Python ecosystem faster☆12Jul 19, 2024Updated 2 years ago
- Data Structures☆17May 24, 2020Updated 6 years ago
- Display quickfix list as a tree☆15Feb 10, 2025Updated last year
- 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.
- ☆14Jun 29, 2023Updated 3 years ago
- Platform independent T-Motor/CubeMars AK series actuators (MIT Mini-Cheetah type) library☆14Oct 11, 2022Updated 4 years ago
- Grid codes address the interconnection of generation systems to the grid and require these systems to remain connected under certain faul…☆17Apr 17, 2020Updated 6 years ago
- ☆21Sep 19, 2026Updated last month
- Interface for approximate and exact equality☆12Apr 26, 2026Updated 5 months ago
- Python code of the paper Model order reduction of deep structured state-space models: A system-theoretic approach☆14Nov 22, 2024Updated last year
- TrainRun.jl will take a user-defined train and a path as an input for a train run calculation. It can calculate the train run as a time-e…☆11Jul 3, 2024Updated 2 years ago
- Riemannian Interior Point Methods (RIPM) for Constrained Optimization on Manifolds☆18Feb 3, 2024Updated 2 years ago
- Code accompanying the paper "On the adaptation of recurrent neural networks for system identification"☆13Feb 3, 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.
- Exception runtime library for Cortex M series CPUs☆14Dec 17, 2025Updated 10 months ago
- A Julia implementation of the Quadratic Kalman Filter as in Monfort, Renne, & Roussellet (2014, Journal of Econometrics).☆11May 30, 2025Updated last year
- Code for the Manifold Boundary Approximation Method☆16Oct 10, 2022Updated 4 years ago
- ☆18Feb 18, 2026Updated 8 months ago
- ☆16Aug 1, 2025Updated last year
- Python Parser for SDFormat files.☆14Apr 5, 2022Updated 4 years ago
- Custom Home Assistant integration to read data from a C.M.I. via CoE☆19Oct 14, 2026Updated last week
- Julia interactive interface for TinyMPC☆11May 24, 2026Updated 5 months ago
- ☆19Jul 2, 2025Updated last year
- 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.
- Companion website for the article Learning Long-Range Perception Using Self-Supervision from Short-Range Sensors and Odometry☆12Sep 27, 2022Updated 4 years ago
- Fast Solution of Optimal Control Problems With L1 Cost☆10Aug 9, 2019Updated 7 years ago
- Julia interface for the Quadratic Programming solver DAQP☆13Sep 6, 2026Updated last month
- Extension of PowerSimulations.jl to model Hydropower devices☆14Oct 14, 2026Updated last week
- Joystick interface for Julia☆10Jun 11, 2022Updated 4 years ago
- High-precision Mandelbrot fractal iterations in C++ template code☆16May 12, 2026Updated 5 months ago
- ☆17Aug 6, 2021Updated 5 years ago