Rohit Dureja (@rohitdureja)
github

rohitdureja

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    28
  • Global Rank 517,529 (Top 18 %)
  • Followers 7
  • Registered over 12 years ago
  • Most used languages
    C
         50.0 %
    C++
         25.0 %
    Puppet
         12.5 %
    Isabelle     12.5 %
  • Location 🇺🇸 United States
  • Country Total Rank 94,186
  • Country Ranking
    Isabelle     3
    Puppet
         555
    C
         7,970

Top repositories

1

isabelle-practice

Exercises from the Prog-Prove manual of Isabelle
Isabelle
6
star
2

SimplePDR

A reference implementation of PDR for boolean transition systems
C++
6
star
3

SD-MMC-FatFS-Library-for-Tiva

A port of the FatFS library for Texas Instruments ARM microcontrollers
C
5
star
4

Network-Packet-Sniffer

A powerful network packet sniffer for collecting socket-connection information and data, extract SMTP e-mail messages and profile active connections
C
4
star
5

FuseIC3

An Algorithm for Checking Large Design Spaces
C++
4
star
6

freeRTOS-Launchpad-Demo

A defined port of freeRTOS to run on the Tiva Launchpad
Puppet
1
star
7

Real-Time-Polling-System

A real-time polling system using SunRPC.
C
1
star
8

USB-CDC-Class-Driver-for-Tiva

An API to use with the USB CDC device class on Tiva microcontrollers for serial port communication.
C
1
star