Hanabi-Live / hanabi-liveLinks
A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
☆196Updated last week
Alternatives and similar repositories for hanabi-live
Users that are interested in hanabi-live are comparing it to the libraries listed below
Sorting:
- A list of Hanabi strategies☆177Updated this week
- Play Hanabi online with friends!☆103Updated 7 months ago
- A LaTeX Typesetting Game☆261Updated 9 months ago
- Detexify Backend written in Haskell☆916Updated 9 years ago
- 🎮 A frictionless multiplayer web app that lets you play Set with friends☆608Updated 10 months ago
- a GRId LOgic Puzzle Solver library☆79Updated 3 months ago
- Web application to create and solve Sudokus and Puzzles☆137Updated 7 months ago
- Latex Symbol Classifier Web Frontend☆835Updated 2 years ago
- Coauthor supercollaboration/discussion forum☆266Updated 2 months ago
- The source behind nutrimatic.org.☆93Updated 6 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆303Updated last year
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆33Updated 7 months ago
- A simulator for strategies of a well-known cooperative card game.☆15Updated 9 years ago
- Instructions and license for Detexify's sample data☆287Updated 4 years ago
- Django app for running a puzzlehunt (open-source version)☆79Updated last year
- Cocreate Shared Whiteboard/Drawing☆218Updated 7 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆778Updated this week
- Server to host lean games.☆365Updated this week
- An implementation of and AI for the game of Tak☆64Updated last year
- Crosshare is a free and ad-free community for crossword constructors and solvers☆154Updated 3 weeks ago
- Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio☆313Updated 3 months ago
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆137Updated 3 weeks ago
- Relaunch of EMOJI SIMULATOR 😘☆93Updated 4 years ago
- An online math contest platform☆22Updated 3 months ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Source files for https://web.evanchen.cc☆62Updated this week
- Metamath source file for logic and set theory☆301Updated this week
- COVID-19 Futures, Explained With Playable Simulations☆233Updated last year
- ☆346Updated 7 years ago
- Generate random nonsense math papers☆613Updated 5 years ago