s-nandi's repositories
carla-car-detection
An application of Tensorflow's object detection API to the Carla simulator
automated-proofs
A small and simple set of automated proofs written in Isabelle
implicit-octree-nns
A novel nearest-neighbor algo via lifting maps, voronoi diagrams, quadtrees
sample-cpp-project
C++ project template with linters, sanitizers, code coverage, testing, CI, docs
Angled_Game
Repository for the development of the game Angled.
C1GamesStarterKit
Starter kit for new players of Terminal. Contains starter-algo and a basic CLI for running/debugging algo's locally.
contest-problems
Archive of my programming contest solutions
CoordinatedMotionPlanning.jl
A coordinated motion planner for grids via integer programming
DagstuhlGAN
MarioGAN modification with a focus on generating challenging levels
interactive-gerrymandering
A tool for analyzing gerrymandering via geometric techniques
openmp-point-location
Parallel construction + queries on doubly-connected edge lists via OpenMP
point-location-2d
Implementations for various point location algorithms on planar subdivisions