Inverted pendulum simulation on the terminal using c
â16Feb 10, 2025Updated last year
Alternatives and similar repositories for pendulum
Users that are interested in pendulum are comparing it to the libraries listed below
Sorting:
- đ C header-only formattable assert macros libraryâ11Nov 5, 2021Updated 4 years ago
- A collection of scripts for building Clang on Linuxâ17Aug 8, 2022Updated 3 years ago
- auto-pager -- Just when you were regretting not paging, it's paged!â13Aug 15, 2022Updated 3 years ago
- Vehicle simulation system for Unityâ12Feb 8, 2024Updated 2 years ago
- Timing Diagram Stencil for Microsoft Visio 2010 (and other versions)â12Aug 13, 2016Updated 9 years ago
- Universal instruction selectionâ12Jun 8, 2018Updated 7 years ago
- â16Mar 11, 2025Updated last year
- Hugo Cisneros' personal websiteâ11Updated this week
- Code for our paper "Prune and Replace NAS"â17Jun 26, 2019Updated 6 years ago
- Fuzz testing for Dafnyâ13Jul 7, 2022Updated 3 years ago
- Imported from https://gitorious.org/beagleboard-usbsniffer/â15Oct 19, 2015Updated 10 years ago
- đˇđđšī¸ A simple snake-like game for Sony Alpha cameras with the Android subsystem.â10Oct 11, 2024Updated last year
- A home internet server configuration for the BeagleBone Black, Raspberry Pi or Cubieboardâ10Jun 16, 2014Updated 11 years ago
- Managed C# library for handling KTX File Formatâ13Nov 18, 2025Updated 4 months ago
- â11Sep 26, 2024Updated last year
- â21Aug 26, 2023Updated 2 years ago
- GPT2# is a zero dependency, sub 1 000 loc implementation of GPT2 inference, batteries includedâ13May 2, 2023Updated 2 years ago
- a libphonenumber command-line wrapperâ12Apr 10, 2022Updated 3 years ago
- â18May 1, 2020Updated 5 years ago
- Shell to bypass cmd usage restrictions on Windows.â30Apr 2, 2021Updated 4 years ago
- lineno â Line numbers on paragraphsâ16Mar 11, 2026Updated last week
- â10Feb 12, 2021Updated 5 years ago
- French Reproducibility Network websiteâ11Updated this week
- Software to visualise a 3D hot map of points in the space. Software developer by the Champalimaud Foundation Scientific Software Platformâ21Feb 13, 2018Updated 8 years ago
- This repository tracks the changes the the "Unix Timesharing System" paper written by Dennis Ritchie and Ken Thompson.â11Oct 6, 2018Updated 7 years ago
- â12Feb 19, 2026Updated last month
- CppUTest For QP/C++ implements a CppUTest port of the QP Framework, with supporting utilities, enabling easy host based unit testing of aâĻâ19Jan 8, 2026Updated 2 months ago
- Coq library for serialization to S-expressionsâ20Jul 3, 2023Updated 2 years ago
- Verified interval arithmetic for Lean 4 â prove bounds on exp, sin, cos, find roots, all machine-checkedâ35Mar 3, 2026Updated 2 weeks ago
- Bootstrap scripts to build standalone OPAM projectsâ15Nov 9, 2017Updated 8 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.â13Feb 14, 2023Updated 3 years ago
- QQSPI Pmod-compatible 32MB PSRAM moduleâ16Sep 14, 2023Updated 2 years ago
- The easy way to download curves from an oscilloscope.â16Sep 27, 2021Updated 4 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.â16Mar 13, 2023Updated 3 years ago
- â12Jan 8, 2026Updated 2 months ago
- Peasy: An Intuitive Development Environment for Pâ16May 12, 2025Updated 10 months ago
- A very simple SDRAM controller for FPGA written in Verilog. It exposes a SRAM-like interface to the rest of the FPGA fabricâ14Dec 4, 2018Updated 7 years ago
- Ice40 open source HDMI examples on BlackIce IIâ11May 12, 2022Updated 3 years ago
- build system image for TH1520 boardsâ12Dec 25, 2025Updated 2 months ago