Skip to content
View HiroIshida's full-sized avatar
🦾
phd thesis...
🦾
phd thesis...

Block or report HiroIshida

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
13 results for source starred repositories written in Common Lisp
Clear filter

NASA PVS Library of Formal Developments

Common Lisp 293 57 Updated Sep 3, 2025

jsk-ros-pkg/jsk_robot

Common Lisp 78 96 Updated Apr 2, 2025

A Task-Motion Planning Framework

Common Lisp 55 13 Updated Apr 24, 2021

This is exercise for robot-programming.

Common Lisp 41 319 Updated Nov 28, 2025

ROS package for multi robot teleoperation with HTC Vive/SpaceNav/Oculus/Tablis

Common Lisp 33 13 Updated May 29, 2023

JSK planning packages

Common Lisp 13 21 Updated Oct 7, 2025

Tutorials for rtmros packages

Common Lisp 8 62 Updated Oct 23, 2025

Robot Manipulation User Interface (RMUI)

Common Lisp 4 Updated Apr 8, 2023

ROS Package for Imitation Learning with Euslisp Robot Interface

Common Lisp 3 1 Updated Jul 4, 2024

Implement the eyes of the cook

Common Lisp 1 2 Updated Jan 6, 2022

(Incomplete, but useful) Type Inference System for Euslisp

Common Lisp 1 Updated Jan 22, 2021
Common Lisp 1 1 Updated Oct 14, 2022
Common Lisp 1 Updated Mar 18, 2024