mrushyendra

planar-segmentation

Segmentation of a video frame into ground and upright objects using sparse and dense optical flow techniques in OpenCV.

godot-z3

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

Chalk

CDCL based SAT Solver for boolean formulas in DIMACS CNF format

dafny-lite

Verification condition generator for a simple imperative language

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.

fiction-solver

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

godot-deep-dive

A Deep Dive Into the Godot Game Engine

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.

BDR-site_router

Bulldogs Racing Local Inventory Management and Backup System

blackjack

Minimal terminal-based single player blackjack game

browser-ray-tracer

A ray tracer for the web written entirely in native JavaScript

eolms

Backup code for a website that allows users to upload bus schedules and monitor their progress.

generate-utterances

Utility to generate all possible permutations and combinations of a given sentence fragment, for use as training data for Amazon Lex.

godot

Godot Engine – Multi-platform 2D and 3D game engine

godot-cpp

C++ bindings for the Godot script API

godot-docs

Godot Engine official documentation

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.

plsc-349

NYC Subway Data

rmf_core

Provides the centralized functions of RMF: scheduling, etc.

rmf_demos

rmf_schedule_visualizer

Visualizer for trajectories in the rmf schedule database

ros2multirobotbook

sdf_tutorials

SDFormat documentation and proposals.

sparse-3D

Calibrate any pair of cameras and use it to calculate the real world locations of points in images using openCV

traffic_editor

GUI, CLI, and ROS 2 messages for robot traffic flows in buildings