CyPhyHouse

CyPhyHouse's repositories

Decawave

Repository for decawave related code

Language:C13 7 5

CyPhyHouseExperiments

Repository for scripts used in demos and experiments

Language:PythonNCSA6 3 2

Cymulator

Simulator for CyPhyHouse project based on Gazebo

Language:C++NCSA4 4 17

CyPyHous3

Python 3 implementation of the middle-ware for CyPhyHouse project

Language:PythonMIT4 7 8

Aircraft_Landing_Verification

Language:Python3 30

f1tenth_code

Language:Makefile3 60

KoordLanguage

Koord Language front-end for CyPhyHouse

Language:JavaNCSA3 2 6

newLib

migrating from old StarLib to a lib with only Java dependencies

Language:Java3 1 3

cyphyhouse.github.io

CyPhyHouse project website using GitHub Organization Pages

Language:HTML100

cyphyhouse.rtfd.io

Software documentation for CyPhyHouse project on Read the Docs

Language:PythonNCSA100

Dione

Dione: A protocol verification system built with Dafny for Input/Output Automata

Language:PythonNCSA100

Koord-Front-End

Language:Java100

ROS-workspace-rally

Tracking the catkin_ws for the Traxxas Rally Racer build

Language:Makefile100

ARIAC

Repository for ARIAC 2020/2021, consisting of kit building and assembly in a simulated warehouse with a dual arm robot.

Language:C++000

directoryd

Richard Otap's thesis code http://goo.gl/uB8orO , rewritten for CZMQ

Language:C++MIT000

Pytorch-UNet

PyTorch implementation of the U-Net for image semantic segmentation with high quality images

Language:PythonGPL-3.0000

racecar

Language:C++010

racecar_gazebo

A gazebo-based simulator of the MIT Racecar.

Language:CMake010

RosJavaBridge

Ros Java Bridge source code

Language:HTMLLGPL-3.0000

StarLWebInterface

Deprecated version of CyPhyHouse language and tool.

Language:JavaScriptNOASSERTION000

UI-

Deprecated visualization User Interface for CyPhyHouse.

Language:Python000