Simple framework for symbolic manipulation
☆11Nov 6, 2024Updated last year
Alternatives and similar repositories for protosym
Users that are interested in protosym are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Aug 28, 2024Updated last year
- Some sample code for creating gcc plugins☆22Apr 16, 2010Updated 15 years ago
- Robotic Bicycle code for data collection and control☆13Aug 24, 2023Updated 2 years ago
- Public issue tracker for garnix.io☆16Feb 15, 2022Updated 4 years ago
- Bazel rules to test a build error☆12Mar 16, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Oct 2, 2020Updated 5 years ago
- Cython PyParsing implementation.☆33Feb 16, 2026Updated last month
- ☆13Jan 4, 2025Updated last year
- Code for blog series starting at http://tty.uchuujin.de/2016/02/stm32-from-scratch-bare-minimals/☆11Nov 22, 2020Updated 5 years ago
- OpenTelemetry wrapper for Claude Code CLI that logs tool calls, token usage, costs, and execution traces to Logfire, Sentry, Honeycomb, o…☆19Oct 24, 2025Updated 5 months ago
- Pytest plugin type-checking tests, fixtures, and/or your codebase with @beartype.☆23Mar 3, 2026Updated 3 weeks ago
- General-purpose optimal control, trajectory optimisation and parameter optimisation using direct collocation☆10Aug 29, 2023Updated 2 years ago
- Example of using bazel deps in a jupyter notebook☆14Jan 11, 2024Updated 2 years ago
- GitHub bot for SymPy☆21Feb 23, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A library for lattice-based multiparty homomorphic encryption in Go☆14Dec 20, 2024Updated last year
- Safe Interval Path Planning with Intervals Projection (SIPP-IP) - a SIPP-based planner capable of handling non-instantaneous acceleration…☆17Dec 1, 2022Updated 3 years ago
- Quickly create a Simli AI Agent☆21Feb 18, 2026Updated last month
- scalable accelerated optimal control☆19Oct 8, 2022Updated 3 years ago
- Developer showcase of projects built on Cartesia☆20Aug 28, 2024Updated last year
- Aircraft Plume Chemistry, Emissions, and Microphysics Model☆17Jan 20, 2026Updated 2 months ago
- Anduril's Lattice Rust SDK☆22Jul 24, 2025Updated 8 months ago
- A collection of Matlab classes implementing the Geometric Algebra G(3,0,1) for homogeneous transformations of 3D rigid bodies in 4D proje…☆31Apr 9, 2024Updated last year
- Header-only C++ containers and algorithms from the SG14 Low Latency study group☆29Nov 18, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Example backend infrastructure for launching new bots that connect to your RTVI clients.☆19Oct 10, 2024Updated last year
- ☆33Feb 25, 2026Updated last month
- ☆22Oct 3, 2022Updated 3 years ago
- Improve Emacs flyspell responsiveness using idle timers☆46Mar 8, 2021Updated 5 years ago
- Murphy's Revenge & Infotron :: Two 25-year-old games for the mac, now on GitHub.☆35Jun 25, 2024Updated last year
- The repository contains the implementation Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. It plans and navigates more t…☆28Jul 21, 2025Updated 8 months ago
- Information about IOOS activities for Google Summer of Code☆38Mar 18, 2026Updated last week
- Hierarchical Pathfinding for Navigation Meshes (HNA*)☆29May 17, 2016Updated 9 years ago
- Private, local-first AI chat desktop app built with Tauri (Rust) + React + TypeScript.☆64Sep 2, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A Rust crate to find Paths on a Grid using HPA* (Hierarchical Pathfinding A*) and Hierarchical Dijkstra☆29Jan 2, 2024Updated 2 years ago
- Modular IntRalogistics Intelligent plAtforM☆30Sep 4, 2025Updated 6 months ago
- A library for using direct collocation in the optimization of dynamic systems.☆120Nov 3, 2025Updated 4 months ago
- ☆19Jan 31, 2023Updated 3 years ago
- A Python REPL the way I like it☆53Sep 10, 2025Updated 6 months ago
- impl fallible collections in rust, quite as describe in RFC 2116☆40Nov 7, 2024Updated last year
- Smarter commenting for Emacs☆41Mar 23, 2016Updated 10 years ago