🎮 A frictionless multiplayer web app that lets you play Set with friends
☆619Feb 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)☆26Apr 28, 2022Updated 3 years ago
- Advent of Code 2021 in 25 different languages, alphabet soup edition☆14Dec 25, 2021Updated 4 years ago
- Source files for https://web.evanchen.cc☆63Updated this week
- Public repository for content related to the the Plotline project.☆15Feb 1, 2026Updated 2 months ago
- A Rust implementation of strace.☆37Jan 10, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Highly Opinionated DX Gem for faster development.☆15May 8, 2025Updated 11 months ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆204Apr 11, 2026Updated last week
- ☆15Dec 22, 2022Updated 3 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- An anonymous discussion forum for MIT Students 👀☆21Nov 27, 2017Updated 8 years ago
- a GRId LOgic Puzzle Solver library☆82Sep 4, 2025Updated 7 months ago
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 4 years ago
- Automatically file VATs in Paraguay☆15Jan 23, 2026Updated 2 months ago
- YouPS: An email automation tool that makes your email management easy! 😎☆14Jan 21, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- pip install continualcode☆40Feb 10, 2026Updated 2 months ago
- Advent of Code 2023 in 25 interesting language specimens, A-Z☆34Dec 25, 2023Updated 2 years ago
- Meteor app for coordinating solving for our MIT Mystery Hunt team☆25May 21, 2019Updated 6 years ago
- Olympiad GeoGuessr☆18Apr 8, 2026Updated last week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20May 4, 2022Updated 3 years ago
- a static html and gemini mail archive for the 21st century, written in Rust☆28Aug 15, 2024Updated last year
- Collection of compatible forecasting datasets☆12Feb 28, 2024Updated 2 years ago
- Collection of Useful CS Algorithms☆116Dec 31, 2016Updated 9 years ago
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Julia interface for video4linux☆11Apr 11, 2020Updated 6 years ago
- AI Wargamer and Global Risk Simulator☆13Apr 21, 2025Updated 11 months ago
- ✍️ A scratchspace for your new Tab page☆183Oct 13, 2024Updated last year
- Rich Context API integrations for federating metadata discovery and exchange across multiple scholarly infrastructure providers☆11Jan 11, 2021Updated 5 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 9 months ago
- MOE fonts from http://www.moe.gov.tw/. This repository aims at keeping a working copy of the official fonts.☆14Nov 14, 2020Updated 5 years ago
- Tool to analyse the import structure of lean projects.☆20Updated this week
- A program to convert crossword grids to spreadsheet format☆14Jan 13, 2022Updated 4 years ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆37Feb 9, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A logfmt log formatter for Elixir.☆27Apr 11, 2026Updated last week
- Emacs major mode for Lean 4☆124Jul 14, 2025Updated 9 months ago
- A pandoc filter for block comments in markdown documents.☆15Feb 5, 2024Updated 2 years ago
- an easy way to set vertex data on a BufferGeometry☆27Jun 22, 2020Updated 5 years ago
- API wrapper enabling Wikisources to submit images for optical character recognition.☆17Updated this week
- This provides basic replication materials for the Dutch Polling Indicator (Peilingwijzer).☆11Mar 15, 2017Updated 9 years ago
- ☆18Nov 13, 2021Updated 4 years ago