Unofficial Secret Hitler strategy guide
☆37Oct 19, 2022Updated 3 years ago
Alternatives and similar repositories for secret-hitler-strategies
Users that are interested in secret-hitler-strategies are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- EXATO: Evil XML Attributes Text Object☆18May 24, 2020Updated 5 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- WIP braindump☆10Jul 17, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated 3 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Apr 18, 2026Updated 2 weeks ago
- DRAT proof processor☆16Apr 8, 2023Updated 3 years ago
- Load your graph of bookmarks and tags into a neo4j database and explore it☆14Jan 1, 2017Updated 9 years ago
- ☆10Oct 26, 2023Updated 2 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- ☆13Aug 29, 2025Updated 8 months ago
- ☆14Apr 25, 2022Updated 4 years ago
- A command line client for Samsung FUS (Firmware Update Service)☆20Mar 11, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- uBlacklist blacklist - Fake webstores - Blocks fake machine-translated web stores that only redirect you to AliExpress. I have added vari…☆13Jan 17, 2026Updated 3 months ago
- Lisp Linear Algebra☆18Mar 4, 2026Updated 2 months ago
- A wallhaven.cc utility able to change your wallpaper.☆10Jun 30, 2022Updated 3 years ago
- Create human-readable abbreviations / acronyms for any model, or abbreviations / acronyms in general.☆10Oct 9, 2017Updated 8 years ago
- ☆10Jan 3, 2018Updated 8 years ago
- Dev Ubuntu 20.04 Docker image, with Oh-My-Zsh/Pyenv/GNU&LLVM Build Tools, suitable as a temp sysroot☆12Aug 10, 2022Updated 3 years ago
- ☆17Jan 4, 2021Updated 5 years ago
- A repository to share my emacs lisp code experiments☆39Jan 31, 2024Updated 2 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Apr 23, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SQL front-end in Rust☆14May 11, 2021Updated 4 years ago
- ☆12Oct 25, 2022Updated 3 years ago
- A WiFi hacking Phishing tool for everyone.☆15Mar 31, 2023Updated 3 years ago
- A Benchmark for Surface Reconstruction☆12Oct 5, 2015Updated 10 years ago
- Negative harmony application written with JUCE☆19Nov 18, 2022Updated 3 years ago
- Samples for dirt/superdirt ripped from my Roland JV-1080 digital synth☆13Dec 1, 2016Updated 9 years ago
- Signature Spoofing on unsupported Android 11 ROMs☆10Aug 12, 2022Updated 3 years ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆20Apr 29, 2024Updated 2 years ago
- @davidtwco's dotfiles - managed by chezmoi!☆14Jan 16, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Quality Assurance (QA) script for audio plugins (.vst3, .component, .dll, .vst, .soulpatch, and .soul).☆11Apr 9, 2022Updated 4 years ago
- ☆16Oct 15, 2015Updated 10 years ago
- A Lean4 plugin for the Intellij Platform☆21Mar 27, 2026Updated last month
- An easy to use licensing system, using asymmetric cryptography to generate and validate licenses.☆20Jan 13, 2020Updated 6 years ago
- simple pitch shift vst plugin☆10Nov 21, 2018Updated 7 years ago
- Midi 2 CV for Eurorack - 2 outputs based on 2 MCP4725 modules and PC817 opto☆11Apr 21, 2019Updated 7 years ago
- A minimalist, clean, and beautiful real estate listings app made in React☆13Jul 16, 2018Updated 7 years ago