Cornell Data Science

MathSearch

A next generation search engine for researchers that supports searching with LaTeX math script.

FiggieBot

Creating a game to play Figgie & Train an agent to play against

PocketML

Backend and frontend related code for PocketML

Summarization

Abstractly summarize information using machines

info1998

self-driving-car

This is a multi-year project undertaken by the Cornell Data Science team intended to demonstrate autopilot for a full-size car.

Cornell-Bias-Labs

Analyzing identity biases with(in) machine learning and artificially intelligent systems. Sponsored by MunichRE.

Distributed-Game-Server

FormalDB

FormalDB is a prototype database management system built in Gallina, verified in Coq. This repo has an expanded OCaml layer and a further expanded Node.js layer for GUI use

IntSys-Education

Intelligent Systems Education Assignments.

Munch

Code for the CDS MacrosAI project

ProjectX-2021

This is the GitHub repository for Cornell's 2021 ProjectX team. Members: Alexander Wang, Jerry Sun, Kevin Zhou, Kaitlyn Chen, Edward Gu, Melinda Fang.

sketchify

Turning images into coloring book pages with infinite resolution.

ssbm-gym

cds-infrastructure

CDS Project Infrastructure

Social-Tribes

Project for the Data Visualization subteam for SP18. Visualizing the clustering of political figures on Twitter.

TinderBot

Saving the world one intelligent match at a time.

Ball-101

Building a service for the community at large + low budget sports programs for Sports Analytics and Stats Tracking

cds-infrastructure-test

Repo for testing CDS Infrastructure scripts.

CDS-slackbot

Creating an LLM-based bot on Slack to answer questions about CDS

CDS-Website

Main website

Class-Visualizer

CoalescenceML

edge-ml

education-blogs

Host of articles, blogs, and tutorials written by the Education subteam.

MLEWorkshops

movie-script-bias

python-linter

Automatic python linted project

Rubiks-Learning-Robot

rubiks_cube

Rubik's Cube solver using reinforcement learning