Rushyendra Maganty (@mrushyendra)
github

mrushyendra

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Rank 684,145 (Top 24 %)
  • Followers 8
  • Following 4
  • Registered about 8 years ago
  • Most used languages
    C++
         50.0 %
    Python
         33.3 %
    Haskell
         16.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 135,062
  • Country Ranking
    Haskell
         2,526
    C++
         8,804

Top repositories

1

planar-segmentation

Segmentation of a video frame into ground and upright objects using sparse and dense optical flow techniques in OpenCV.
C++
11
star
2

godot-z3

Demo project showcasing the use of a custom C++ library for invoking the Z3 SMT Solver in Godot 3
C++
2
star
3

dafny-lite

Verification condition generator for a simple imperative language
Haskell
1
star
4

godot-deep-dive

A Deep Dive Into the Godot Game Engine
1
star
5

Chalk

CDCL based SAT Solver for boolean formulas in DIMACS CNF format
C++
1
star
6

dialog-flow-bank-bot

Webhook for a dialogflow banking bot. Demonstrates the use of chaining and output contexts to enable validation of parameters before an intent is fulfilled.
Python
1
star
7

fiction-solver

A Python solver for "Fiction", a Wordle-inspired game. Play as a librarian or guesser against the computer.
Python
1
star