wridder Goto Github PK

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

ada_drivers_library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

arduino-flashstringhelperlogger

arduino-pid-library

arduino-pid-nofloatingpoint

arduino-simulinkconnector

arduino-statemanager

backbone.paginationcollection

Make Backbone.Collections pageable. Interface compatible with Backbone.Paginator.

backbone.paginatorcollectionlink

Binds Backbone.Paginator to a source (virtual) collection.

backgrid

Finally, an easily stylable semantic HTML data grid widget with a Javascript API that doesn't suck.

backgrid-advanced-filter

backgrid-demo

Integration example of a multitude of backgrid plugins.

backgrid-demo-server

Simple rest server for backgrid-demo

backgrid-orderable-columns

Backgrid extension that allows re-ordering the columns in a grid by dragging and dropping

backgrid-sizeable-columns

Backgrid extension that allows re-sizing the columns in a grid

backgrid.columnmanager

continuity

A transport-agnostic, filesystem metadata manifest system

dns.js.org

Free and short JS.ORG domains for GitHub Pages

docker-ce

Docker CE

docker-darknet

Darknet images with cpu and gpu support.

docker-ros-indigo-gazebo-7

docker CI image for ros indigo and gazebo 7

epoch

A general purpose, real-time visualization library.

gazebo_ros_link_attacher

Attach two Gazebo models with a virtual joint in a generalized grasp hack

gazebo_ros_pkgs

Wrappers, tools and additional API's for using ROS with Gazebo

gyrejs

Uni-directional data flow library.

librepilot

This is the GitHub mirror for the LibrePilot source code. The main development is taking place at https://bitbucket.org/librepilot

material-ui

A CSS Framework and a Set of React Components that Implement Google's Material Design.

motionprofilegenerator

offline

Automatically display online/offline indication to your users. #hubspot-open-source

react-chartjs

common react charting components using chart.js