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:
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated last month
- 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
- ☆13Apr 25, 2022Updated 3 years ago
- A script library for use with the Drafts app.☆11Oct 30, 2021Updated 4 years ago
- ☆15Apr 12, 2023Updated 2 years ago
- An experimental mutual induction tactic for Lean 4.☆23Jan 12, 2026Updated 2 months ago
- CLAP plugin hosting in JUCE☆12Oct 6, 2022Updated 3 years ago
- ☆10Jan 3, 2018Updated 8 years ago
- A repository to share my emacs lisp code experiments☆39Jan 31, 2024Updated 2 years ago
- A small library wrapping various FFT implementations for some common audio processing use cases.☆13Aug 10, 2022Updated 3 years ago
- SQL front-end in Rust☆14May 11, 2021Updated 4 years ago
- Pythonista App - a repository of python scripts used in the iOS app Pythonista, that provide little snippets of information, automations,…☆20Dec 6, 2025Updated 3 months 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
- stream content from your PC to the internet☆12Dec 12, 2022Updated 3 years ago
- @davidtwco's dotfiles - managed by chezmoi!☆14Jan 16, 2026Updated 2 months ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆20Apr 29, 2024Updated last year
- Quality Assurance (QA) script for audio plugins (.vst3, .component, .dll, .vst, .soulpatch, and .soul).☆11Apr 9, 2022Updated 3 years ago
- A Lean4 plugin for the Intellij Platform☆19Mar 17, 2026Updated last week
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 3 years ago
- Regain device access if denied/disabled by other programs (esp. device control programs, ransomware)☆12Dec 13, 2019Updated 6 years ago
- 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
- high-speed metrics collection library in Rust☆19May 2, 2019Updated 6 years ago
- Bring syntax highlighting to your conan file in VSCode☆13May 18, 2020Updated 5 years ago
- A minimalist, clean, and beautiful real estate listings app made in React☆13Jul 16, 2018Updated 7 years ago
- jottie is a juce port of rLottie☆11Nov 9, 2023Updated 2 years ago
- JUCE User Experience Extension☆15Apr 6, 2025Updated 11 months ago
- Truncate strings in a human-friendly way.☆14Dec 5, 2021Updated 4 years ago
- General Relativity Raytracer - simulates light bending in curved spacetimes on a personal computer☆18Jul 17, 2023Updated 2 years ago
- an ionic app for writing notes by subjects☆12Jan 7, 2023Updated 3 years ago
- Krypt is a swiss-army knife for encoding, decoding, and hashing in the terminal.☆19Jun 13, 2020Updated 5 years ago
- Parameter behavior and formatting for JUCE☆16Jan 3, 2026Updated 2 months ago
- Android DAW with modular synthesis in mind☆16Apr 6, 2022Updated 3 years ago
- Info for prospective PhD students for Chris Donahue's lab at CMU starting Fall 23.☆12Nov 13, 2022Updated 3 years ago
- Simple password crackers used for salted and unsalted passwords encrypted with MD5, SHA-1, and SHA-256 algorithms.☆15Dec 10, 2019Updated 6 years ago
- Send POST request to trigger a webhook with GitHub Actions.☆16Jul 18, 2023Updated 2 years ago