slivingston

slivingston's Stars

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust57.3k4515.9k3k

• celery/celery

  Distributed Task Queue (development branch)

  Language:Python25.2k4725.1k4.7k

• actix/actix-web

  Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

  Language:Rust22.1k2361.6k1.7k

• aio-libs/aiohttp

  Asynchronous HTTP client/server framework for asyncio and Python

  Language:Python15.3k2173k2k

• paramiko/paramiko

  The leading native Python SSHv2 protocol library.

  Language:Python9.2k3191.7k2k

• actix/actix

  Actor framework for Rust.

  Language:Rust8.7k139260656

• pyca/cryptography

  cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.

  Language:Python6.8k1322.6k1.6k

• jpadilla/pyjwt

  JSON Web Token implementation in Python

  Language:Python5.2k61455694

• actix/examples

  Community showcase and examples of Actix Web ecosystem usage.

  Language:Rust3.8k62198807

• pika/pika

  Pure Python RabbitMQ/AMQP 0-9-1 client library

  Language:Python3.7k110843841

• HaddingtonDynamics/Dexter

  Language:C3805110285

• nimble-code/Spin

  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

  Language:C3771957132

• yujinrobot/kobuki

  Software for iClebo Kobuki

  Language:C++22228362175

• helium/docs

  Helium Documentation

  Language:MDX12223227522

• sphinx-doc/sphinx-intl

  A Sphinx utility that make it easy to translate and to apply translations.

  Language:Python74185439

• beagleboard/beagleboard-x15

  BeagleBoard-X15 - see http://beagleboard.org/x15

  67181123

• kobuki-base/kobuki_ros

  ROS2 runtime libraries, nodes and launchers for the Kobuki

  Language:C++5151331

• ROBOTIS-GIT/open_manipulator_p

  OpenManipulator-P for controlling in Gazebo and Moveit with ROS

  Language:C++4581922

• dewi-alliance/grants

  Details of the DeWi Alliance Grant Program

  41285215

• kobuki-base/kobuki_core

  C++ drivers and utilities for the kobuki base

  Language:C++1652311

• MistyCommunity/REST-API

  Sample code, tools, and other resources for working with the Misty II REST API and WebSocket events.

  Language:HTML10728

• acushner-xaxis/misty_py

  async rest API implementation for misty robots

  Language:Python5313

• kobuki-base/kobuki_firmware

  Firmware blobs for the kobuki platform

  Language:CMake3302

• slivingston/rrgstar

  reference implementation of several RRG algorithms for μ-Calculus formulae

  Language:C++3321

• rerobots/mistygrind

  tool for static analysis of Misty skills and offboard Misty REST API clients

  Language:Python2410

• rerobots/MistyPackageManager

  Language:Python20

• kobuki-base/kobuki_documentation

  Documentation for the Kobuki platform

  Language:Shell12112

• rerobots/cli

  command-line interface for rerobots

  Language:Rust1200

• rerobots/rerobots-mock

  mock server of the rerobots API

  Language:Python1

• StanfordASL/idwithtasks

  Language:Python150