Formal Language Tools for Robots
☆15Jun 29, 2016Updated 10 years ago
Alternatives and similar repositories for motion-grammar-kit
Users that are interested in motion-grammar-kit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Riemannian Motion Policy robot control framework is implemented from scratch. Obstacle avoidance is tested in cluttered environments…☆13Jun 26, 2024Updated 2 years ago
- Implementation of fact bases for Common Lisp☆23Feb 20, 2018Updated 8 years ago
- Panoramic Graph Environment Annotation toolkit, for collecting audio and text annotations in panoramic graph environments such as Matterp…☆19Mar 5, 2021Updated 5 years ago
- Common Lisp implementation of Trie data structure.☆13Jan 10, 2023Updated 3 years ago
- Code to compile regular expressions into bitwise code☆11Jun 25, 2013Updated 13 years ago
- 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.
- A Common Lisp Web Application Framework.☆12Apr 10, 2020Updated 6 years ago
- GitHub mirror for http://common-lisp.net/project/cl-emb/☆12Jan 27, 2016Updated 10 years ago
- http://cdr.eurolisp.org/document/2/☆17Sep 7, 2026Updated last month
- common-lisp btree implementation☆13Sep 22, 2011Updated 15 years ago
- Extensions to the CLML (CL Machine Learning Library).☆14Jun 13, 2019Updated 7 years ago
- Common Lisp library to parse Atom and RSS feeds.☆12Apr 10, 2015Updated 11 years ago
- ☆10Jun 24, 2020Updated 6 years ago
- SmalL bUt Complete GROne Synthesizer☆43Sep 6, 2026Updated last month
- Synthetic data generation for graph ML experiments☆21Feb 10, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A simple file system database. Extracted from Bill St. Clair's Lisplog and ported to SBCL.☆12Oct 31, 2011Updated 15 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 11 years ago
- Repo for the FB AI Speech team.☆27Aug 24, 2021Updated 5 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆15Sep 18, 2025Updated last year
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 3 years ago
- A common lisp logging library providing context sensitive logging of more than just strings to more than just local files / output stream…☆15Mar 15, 2022Updated 4 years ago
- ☆16Jun 22, 2017Updated 9 years ago
- VeloxVM: A virtual machine for resource-constrained IoT devices☆15Aug 13, 2026Updated 2 months ago
- Isomorphism between browser side and server side in Common Lisp.☆35May 30, 2016Updated 10 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.
- Code for "Towards Optimal Correlational Object Search" | ICRA 2022☆22Jul 10, 2024Updated 2 years ago
- ☆15Nov 23, 2015Updated 10 years ago
- Shadower watches a specific folder, and runs doctests in any Haskell sources in the folder that are modified☆12Jan 28, 2018Updated 8 years ago
- A library for representing graphs (sets of nodes and edges) in common lisp☆13Mar 7, 2020Updated 6 years ago
- Adversarial attacks for Neural Networks written with FluxML☆16Jan 20, 2021Updated 5 years ago
- Access to Google services from Common Lisp☆15Nov 18, 2017Updated 8 years ago
- Common Lisp RDF/XML parser☆18Jul 10, 2014Updated 12 years ago
- SNNS (Stuttgart Neural Network Simulator)☆10Nov 4, 2021Updated 4 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 8 years ago
- 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.
- A Common Lisp wrapper around the MediaWiki api☆19Mar 10, 2019Updated 7 years ago
- Display time values in a friendly way☆14Oct 9, 2019Updated 7 years ago
- Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"☆17Jan 27, 2023Updated 3 years ago
- Tooling for data type and structure management☆13Sep 27, 2026Updated last month
- Higher order functions for ZSH☆15Apr 23, 2019Updated 7 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated 2 years ago
- A DSL to create slides written in Common Lisp☆16Dec 9, 2011Updated 14 years ago