• Stars
    star
    1
  • Language
    JavaScript
  • Created over 5 years ago
  • Updated about 4 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Linear Temporal Logic (LTL) for JavaScript

More Repositories

1

awesome-robotics-projects

A list of open-source, affordable, less-known, or visionary robotics projects.
577
star
2

jammerjs

Add touch gesture-like hand gestures in your app; based on Handtrack.js + Hammer.js
JavaScript
58
star
3

awesome-hri-datasets

A curated list of publically available human-robot interaction datasets
38
star
4

head-pose-estimation-demo

A head pose estimation Cycle.js demo app using opencv.js and tensorflow.js' posenet
JavaScript
28
star
5

tablet-robot-face

Expressive robot face designed for tablets
JavaScript
23
star
6

awesome-robotics-system-design

Stuff I read to learn about robotics system design and more.
21
star
7

awesome-hri-papers-for-industry

HRI Papers for Industry
18
star
8

cycle-robot-drivers

A collection of Cycle.js drivers for programming robots
TypeScript
6
star
9

awesome-end-user-programming

A list of my favorite end-user programming, crowdsourcing, programming languauges links
4
star
10

hri-literature-spreadsheets

Curated spreadsheets of human-robot-interaction work
3
star
11

markademic

An npm package for writing academic papers using markdown.
TeX
2
star
12

z3js

A tiny utility library for building z3-powered JavaScript.
JavaScript
2
star
13

awesome-robotics-companies

MIGRATED! Visit https://docs.google.com/spreadsheets/d/1zVgnnMvwBxupf5MWd91i8h0Vfh4hqqu34DqP9_JYEek/edit#gid=0
2
star
14

dotfiles

Vim Script
2
star
15

concodeit

A block-based visual programming system for authoring interactive programs
JavaScript
2
star
16

react-hooks-interactive-apps

JavaScript
1
star
17

tabletrobotface-userstudy

A collection of tabletrobotface apps for running a human robot interaction user study
JavaScript
1
star
18

mjyc.github.io

TeX
1
star
19

ros_cozmo

A ROS package for Anki Cozmo
Python
1
star
20

awesome-behavioral-change

1
star