Alternatives and similar repositories for secret-hitler-strategies

Users that are interested in secret-hitler-strategies are comparing it to the libraries listed below

• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆197Updated last week
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆205Updated 3 months ago
• compiler-explorer / infra
  Infrastructure to set up the public Compiler Explorer instances and compilers
  ☆393Updated this week
• mevdschee / aoc-stats
  Advent of Code statistics for the first 100 submissions visualized
  ☆89Updated 10 months ago
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 4 years ago
• goldsborough / clang-expand
  A clang tool for happy refactoring without source-code gymnastics
  ☆253Updated 5 years ago
• Jiwan / meta_crush_saga
  A C++17 compile-time game
  ☆114Updated 2 years ago
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆201Updated 8 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆175Updated this week
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆165Updated last year
• herbie-fp / herbie
  Optimize floating-point expressions for accuracy
  ☆828Updated this week
• mlr-msft / vim-loves-dafny
  a vim plugin for Dafny, a verified programming language.
  ☆21Updated 7 years ago
• emmatyping / cce
  commandline compiler explorer - use https://godbolt.org from your terminal!
  ☆200Updated 5 years ago
• andyjwon / yoda-lang
  A weakly, dynamically-typed programming language based on the speech patterns of Jedi Master Yoda from Star Wars.
  ☆23Updated 12 years ago
• Lokaltog / git-man-page-generator-legacy
  Git man page generator.
  ☆396Updated 7 years ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆335Updated 5 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆30Updated 5 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆107Updated 9 months ago
• codereport / Programming-Language-Meetups
  ☆20Updated 4 years ago
• tvaneerd / today
  Today at work we talked about...
  ☆33Updated 10 months ago
• Saswatm123 / Compile-Time-Equations-Handler
  ☆114Updated 6 years ago
• saarraz / static-print
  A GCC 7.1 patch that adds a 'static_print' statement to C++.
  ☆146Updated 8 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆265Updated last year
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆161Updated last week
• tommybennett / algorithm-mnemonics
  Algorithm Mnemonics: Increase Productivity with STL Algorithms
  ☆182Updated 8 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆463Updated 4 years ago
• lefticus / learning-rust
  ☆21Updated 5 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆101Updated last week
• digama0 / mm0
  Metamath Zero specification language
  ☆361Updated 3 months ago