Pinned Repositories
godot
Godot Engine – Multi-platform 2D and 3D game engine
Chalk
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
dafny-lite
Verification condition generator for a simple imperative language
G2
G2 performs lazy symbolic execution of Haskell programs to detect state reachability. It is capable of generating assertion failure counterexamples and solving for higher-order functions.
godot-deep-dive
A Deep Dive Into the Godot Game Engine
godot-z3
Demo project showcasing the use of a custom C++ library for invoking the Z3 SMT Solver in Godot 3
planar-segmentation
Segmentation of a video frame into ground and upright objects using sparse and dense optical flow techniques in OpenCV.
rmf_traffic_editor
GUI, CLI, and ROS 2 messages for robot traffic flows in buildings
rmf_core
Provides the centralized functions of RMF: scheduling, etc.
rmf_demos
Demos to showcase the capabilities of RMF
mrushyendra's Repositories
mrushyendra/planar-segmentation
Segmentation of a video frame into ground and upright objects using sparse and dense optical flow techniques in OpenCV.
mrushyendra/godot-z3
Demo project showcasing the use of a custom C++ library for invoking the Z3 SMT Solver in Godot 3
mrushyendra/Chalk
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
mrushyendra/dafny-lite
Verification condition generator for a simple imperative language
mrushyendra/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.
mrushyendra/fiction-solver
A Python solver for "Fiction", a Wordle-inspired game. Play as a librarian or guesser against the computer.
mrushyendra/godot-deep-dive
A Deep Dive Into the Godot Game Engine
mrushyendra/G2
G2 performs lazy symbolic execution of Haskell programs to detect state reachability. It is capable of generating assertion failure counterexamples and solving for higher-order functions.
mrushyendra/BDR-site_router
Bulldogs Racing Local Inventory Management and Backup System
mrushyendra/blackjack
Minimal terminal-based single player blackjack game
mrushyendra/browser-ray-tracer
A ray tracer for the web written entirely in native JavaScript
mrushyendra/eolms
Backup code for a website that allows users to upload bus schedules and monitor their progress.
mrushyendra/generate-utterances
Utility to generate all possible permutations and combinations of a given sentence fragment, for use as training data for Amazon Lex.
mrushyendra/godot
Godot Engine – Multi-platform 2D and 3D game engine
mrushyendra/godot-cpp
C++ bindings for the Godot script API
mrushyendra/godot-docs
Godot Engine official documentation
mrushyendra/ign-gazebo
Open source robotics simulator. Through Ignition Gazebo users have access to high fidelity physics, rendering, and sensor models. Additionally, users and developers have multiple points of entry to simulation including a graphical user interface, plugins, and asynchronous message passing and services. Ignition Gazebo is derived from Gazebo, and represents over 16 years of development and experience in robotics and simulation. This library is part of the Ignition Robotics project.
mrushyendra/plsc-349
NYC Subway Data
mrushyendra/react.dev
The React documentation website
mrushyendra/rmf_core
Provides the centralized functions of RMF: scheduling, etc.
mrushyendra/rmf_demos
mrushyendra/rmf_schedule_visualizer
Visualizer for trajectories in the rmf schedule database
mrushyendra/ros2multirobotbook
mrushyendra/sdf_tutorials
SDFormat documentation and proposals.
mrushyendra/sparse-3D
Calibrate any pair of cameras and use it to calculate the real world locations of points in images using openCV
mrushyendra/traffic_editor
GUI, CLI, and ROS 2 messages for robot traffic flows in buildings