A physical and virtual cartpole
☆24Feb 11, 2019Updated 7 years ago
Alternatives and similar repositories for cart_pole
Users that are interested in cart_pole are comparing it to the libraries listed below
Sorting:
- My BoB the Biped robots☆12Oct 26, 2019Updated 6 years ago
- Robot Shield V2.0☆19Jan 1, 2020Updated 6 years ago
- Information page for running sos solvers☆14Oct 25, 2021Updated 4 years ago
- The CAD files for the Mirobot chassis☆18Aug 10, 2016Updated 9 years ago
- Julia interface to SNOPT (must obtain a licensed copy of SNOPT separately)☆19May 23, 2025Updated 9 months ago
- ☆10Sep 23, 2019Updated 6 years ago
- Embedded code generation for convex optimization, based on CVXPY☆22Nov 25, 2017Updated 8 years ago
- Solving the Trust Region Subproblem as an Eigenproblem in Julia☆24Oct 1, 2021Updated 4 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Oct 12, 2021Updated 4 years ago
- Teensy3.6 based flight control firmware☆25Sep 24, 2019Updated 6 years ago
- COMPAS XR streamlines extended reality workflows to ease the implementation of human-machine collaborative applications in architectural …☆16Feb 1, 2026Updated last month
- CN separation logic refinement type system for C☆46Feb 16, 2026Updated 3 weeks ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆37Feb 19, 2026Updated 2 weeks ago
- Automatic transformation of implications and complementarity into mixed-integer models in Julia☆30Feb 8, 2020Updated 6 years ago
- ESP8266 wifi add on for digital calipers☆12Feb 11, 2022Updated 4 years ago
- ☆47Oct 18, 2021Updated 4 years ago
- ☆11Mar 17, 2017Updated 8 years ago
- ☆10Jan 16, 2025Updated last year
- Robotic Assembled Timber Structures with Integral Timber Joints☆11Oct 15, 2023Updated 2 years ago
- Project the video stream of the Raspberry Pi camera onto a plane in A-Frame VR.☆10Jul 26, 2018Updated 7 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆11Mar 31, 2024Updated last year
- WiFi enabled GPS fed NTP server based on ESP8266 and Arduino framework☆11Oct 30, 2024Updated last year
- Simple algorithms library☆11Oct 9, 2016Updated 9 years ago
- Broken glass jigsaw puzzle generator☆13Feb 8, 2021Updated 5 years ago
- Another structural analysis package☆12Jun 3, 2025Updated 9 months ago
- Rethinking Automation in Construction☆12Nov 3, 2025Updated 4 months ago
- ☆10Dec 10, 2020Updated 5 years ago
- ☆12Jan 11, 2020Updated 6 years ago
- ☆12Feb 5, 2026Updated last month
- Fast Solution of Optimal Control Problems With L1 Cost☆10Aug 9, 2019Updated 6 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆11Feb 24, 2025Updated last year
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- ☆24Aug 8, 2012Updated 13 years ago
- This is the issue log for the Roam-Excalidraw plugin.☆10Mar 15, 2021Updated 4 years ago
- A simulator for a 6-legged crab robot☆13Jun 19, 2015Updated 10 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- ☆13Dec 9, 2022Updated 3 years ago