Block or report user

Organizations

@kframework

Popular repositories

  1. ROSRV

    ROSRV is a runtime verification framework for the Robot Operating System (ROS). For more information, please visit http://fsl.cs.illinois.edu/ROSRV

    C++ 2 4

  2. javascript-k

    JavaScript

  3. SyncFrameworkToolkit

    Forked from wmeints/SyncFrameworkToolkit

    Contains the sourcecode for the syncframework clients for iOS, Android and Windows Phone 8. Also includes the necessary sources for generating the code needed to build a client/server scenario.

    C#

  4. Ocell

    Forked from gjulianm/Ocell

    A Twitter Client for Windows Phone.

    C#

  5. EasyNetQ

    Forked from EasyNetQ/EasyNetQ

    An easy to use .NET API for RabbitMQ

    C#

  6. rosmop

    ROSMOP is an instance of MOP for the Robot Operating System (ROS). For more information, please visit http://fsl.cs.illinois.edu/index.php/ROSMOP

    Java 1

0 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity First issue First repository Joined GitHub

January - April 2018

cnserd has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.