Formal Language Tools for Robots
☆15Jun 29, 2016Updated 9 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:
- 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…☆20Mar 5, 2021Updated 5 years ago
- Common Lisp implementation of Trie data structure.☆13Jan 10, 2023Updated 3 years ago
- Common Lisp library to parse Atom and RSS feeds.☆12Apr 10, 2015Updated 10 years ago
- A simple file system database. Extracted from Bill St. Clair's Lisplog and ported to SBCL.☆12Oct 31, 2011Updated 14 years ago
- Extensions to the CLML (CL Machine Learning Library).☆14Jun 13, 2019Updated 6 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 10 years ago
- SmalL bUt Complete GROne Synthesizer☆43Aug 22, 2024Updated last year
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 2 years ago
- A Common Lisp wrapper around the MediaWiki api☆19Mar 10, 2019Updated 7 years ago
- Repo for the FB AI Speech team.☆25Aug 24, 2021Updated 4 years ago
- Isomorphism between browser side and server side in Common Lisp.☆36May 30, 2016Updated 9 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated 6 months ago
- Synthetic data generation for graph ML experiments☆22Feb 10, 2021Updated 5 years ago
- Adversarial attacks for Neural Networks written with FluxML☆16Jan 20, 2021Updated 5 years ago
- Calculate various string metrics efficiently in Common Lisp (Damerau-Levenshtein, Hamming, Jaro, Jaro-Winkler, Levenshtein, etc.)☆22Jan 12, 2021Updated 5 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated last year
- Excessive macro that generates decision trees for small sets of strings☆18Jun 18, 2018Updated 7 years ago
- ☆16Jun 22, 2017Updated 8 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Jun 21, 2022Updated 3 years ago
- Translating HTN planning problems to PDDL☆21Jul 7, 2021Updated 4 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
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Parse a floating point value from a string in Common Lisp.☆26Sep 25, 2025Updated 6 months ago
- A DSL to create slides written in Common Lisp☆16Dec 9, 2011Updated 14 years ago
- Fast Python library for decrypting pgp messages☆17Aug 16, 2012Updated 13 years ago
- a language extension library☆14Feb 17, 2025Updated last year
- Egison-like pattern-matching library for Common Lisp☆22May 15, 2015Updated 10 years ago
- pythonic processes☆11Jun 12, 2015Updated 10 years ago
- python-csp provides python with communicating sequential processes style parallelism☆12Jul 13, 2021Updated 4 years ago
- A simple Common Lisp genetic algorithm library, with some bitmap manipulation facilities☆27Jan 22, 2009Updated 17 years ago
- Python DSL for writing PDDL☆25Aug 13, 2021Updated 4 years ago
- A deployment toolkit built on top of Fabric.☆10Apr 16, 2018Updated 7 years ago
- Pyramid extension for managing assets with Webpack☆10Sep 6, 2017Updated 8 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Mar 25, 2023Updated 3 years ago
- Illustration of counterfactual inference following Ferenc Huszar example☆13Aug 15, 2025Updated 7 months ago
- This repo contains active learning query strategies as introduced in our GCPR 2013 paper.☆12Aug 12, 2013Updated 12 years ago
- This library provides expression trees for representation of geometric expressions and automatic differentiation of these expressions. Th…☆14Aug 24, 2023Updated 2 years ago
- Common Lisp implementation of rope datastructure☆37Sep 7, 2024Updated last year