Skip to content
View kwesiRutledge's full-sized avatar
43 followers · 105 following

Sponsoring

@jinzhu

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Public SponsorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Public SponsorAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report kwesiRutledge

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

Pinned Loading

  1. brom_drake-py brom_drake-py Public

    Brom is a helper library for the Drake robotics simulation and verification library.

    Python 13 1

  2. Abstraction-Based-Controller-Design Abstraction-Based-Controller-Design Public

    This repository is based on the work of `On abstraction-based controller design with output feedback` by Rupak Majumdar, Necmiye Ozay, and Anne-Kathrin Schmuck.

    MATLAB

  3. kinova_drake kinova_drake Public

    Forked from vincekurtz/kinova_drake

    Code for controlling a Kinova Gen3 Manipulator via Drake.

    Python 1

  4. ModelChecking ModelChecking Public

    An implementation of the algorithms in Baier and Katoen (and maybe more!). Feel free to message me about desired functionality or errors that you might find.

    Go 2

  5. MatProGo-dev/MatProInterface.go MatProGo-dev/MatProInterface.go Public

    A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).

    Go 2

  6. MatProGo-dev/SymbolicMath.go MatProGo-dev/SymbolicMath.go Public

    A symbolic math module for the Go (Golang) Programming Language.

    Go 7