🎮 A frictionless multiplayer web app that lets you play Set with friends
☆616Feb 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:
- Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio☆316Sep 20, 2025Updated 6 months ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆203Mar 15, 2026Updated 2 weeks ago
- ☆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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 4 years ago
- WasmBox is an embeddable WebAssembly runtime, with a focus on portability, compact footprint, and performance.☆10Aug 21, 2021Updated 4 years ago
- programmatic binary patching using ptrace☆14Aug 9, 2025Updated 7 months ago
- The Library of Merveilles☆22Dec 2, 2022Updated 3 years ago
- A Slack Incoming Webhooks client in Go.☆11Apr 12, 2019Updated 6 years ago
- 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
- Efficient and minimal collaborative code editor, self-hosted, no database required☆3,985Feb 2, 2025Updated last year
- OoT Rando Map Tracker pack for EmoTracker☆13Dec 7, 2023Updated 2 years ago
- 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.
- ☆16May 17, 2024Updated last year
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated last year
- GitHub action to publish the Ubuntu PPA (Personal Package Archives) packages.☆15May 5, 2025Updated 10 months ago
- ✍️ A scratchspace for your new Tab page☆180Oct 13, 2024Updated last year
- Encapsulate dom-anchor-text-quote and dom-anchor-text-position for use in browser scripts☆13Sep 2, 2021Updated 4 years ago
- ☆31Jun 15, 2025Updated 9 months ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 8 months ago
- Tool to analyse the import structure of lean projects.☆19Updated this week
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆37Feb 9, 2024Updated 2 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.
- Datasets of all trades on Polymarket's online prediction markets for the 2022 US midterm elections.☆13Nov 20, 2022Updated 3 years ago
- A set of useful Google Sheets functions for Mystery Hunt.☆12Jan 4, 2024Updated 2 years ago
- Guides and solutions to various types of programming problems.☆10Nov 16, 2017Updated 8 years ago
- an easy way to set vertex data on a BufferGeometry☆27Jun 22, 2020Updated 5 years ago
- 🔖 Git plugin for Semantic Versioning☆23Oct 4, 2025Updated 5 months ago
- A drawing web app for symmetric designs☆82Jan 4, 2023Updated 3 years ago
- ☆13Jul 7, 2025Updated 8 months ago
- Leverage other peers in the network to perform Peer Routing calls.☆15Mar 28, 2025Updated last year
- This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…☆18Apr 18, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A math language for dimensional analysis☆23May 19, 2023Updated 2 years ago
- Can you write a shorter Javascript version of Conway's game of life?☆16May 27, 2020Updated 5 years ago
- An Infinitely Large Napkin☆1,840Feb 12, 2026Updated last month
- Use Github for your SSH AuthorizedKeysCommand☆12Jul 18, 2025Updated 8 months ago
- ☆30Aug 12, 2025Updated 7 months ago
- A scanner for DKIM selectors.☆12Nov 5, 2018Updated 7 years ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Aug 6, 2025Updated 7 months ago