🎮 A frictionless multiplayer web app that lets you play Set with friends
☆646Feb 25, 2025Updated last year
Alternatives and similar repositories for setwithfriends
Users that are interested in setwithfriends are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Conway's Game of Life simulator running in the browser, based on the HashLife algorithm (quadtrees + memoization)☆28Apr 28, 2022Updated 4 years ago
- Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio☆315Sep 20, 2025Updated last year
- My personal LaTeX template, with sensible formatting and commands☆16Oct 5, 2022Updated 4 years ago
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Mar 10, 2024Updated 2 years ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆215Oct 21, 2026Updated last week
- OTIS course management system☆50Updated this week
- The Library of Merveilles☆22Dec 2, 2022Updated 3 years ago
- a GRId LOgic Puzzle Solver library☆85Sep 4, 2025Updated last year
- resilient location sharing☆13Sep 23, 2021Updated 5 years ago
- Efficient and minimal collaborative code editor, self-hosted, no database required☆4,083Feb 2, 2025Updated last year
- A suite of interpretability tasks to evaluate agents using Scribe for notebook access☆18Oct 2, 2025Updated last year
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆637Feb 16, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Olympiad GeoGuessr☆18Sep 10, 2026Updated last month
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20May 4, 2022Updated 4 years ago
- Use the Python turtle to write SVG files☆19Aug 9, 2026Updated 2 months ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- Peer-to-peer survival MMO in C# (Unity engine)☆12Jun 30, 2016Updated 10 years ago
- #Robox Code and Construction Description☆24Apr 2, 2014Updated 12 years ago
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated 2 years ago
- ☆21Updated this week
- ☆12Jan 21, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A collaborative community database for the open problems on the erdosproblems.com site as well as some MathOverflow problems☆13Oct 26, 2026Updated last week
- cbraid/braiding are C++ libraries for computations on braid groups☆11Sep 28, 2026Updated last month
- A Github management Tool for Processing☆14Dec 8, 2017Updated 8 years ago
- A machine learning model that will determine if a photo has any visual manipulation (bulge, pinch, skew, spiral, etc) and then attempts t…☆21Aug 4, 2024Updated 2 years ago
- MovableType is a two player word game for Android.☆12Aug 2, 2013Updated 13 years ago
- Eric's personal notes from NYSRG https://notes.ekzhang.com/events/nysrg☆58Oct 25, 2026Updated last week
- Cellular automation simulator on hyperbolic plane☆14Oct 25, 2014Updated 12 years ago
- ☆12Jan 27, 2025Updated last year
- ☆13Apr 23, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A browser-based Piet editor/interpreter☆12Mar 9, 2023Updated 3 years ago
- Datalog compiler embedded in Rust as a procedural macro☆536Dec 14, 2025Updated 10 months ago
- 2d MMORPG engine☆12Jan 19, 2015Updated 11 years ago
- An animated alphabet☆14May 4, 2014Updated 12 years ago
- ☆14Oct 3, 2023Updated 3 years ago
- Collection of Useful CS Algorithms☆124Apr 20, 2026Updated 6 months ago
- An Infinitely Large Napkin☆1,990Updated this week