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 6 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- WIP braindump☆10Jul 17, 2022Updated 4 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated 2 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Jul 7, 2026Updated 2 weeks 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.
- ☆15Apr 12, 2023Updated 3 years ago
- Shazam for food.☆15Dec 31, 2016Updated 9 years ago
- An reddit bot that displays useful GPA/course information in response to reddit topics/comments☆11Oct 5, 2025Updated 9 months ago
- Source code of the U-TRR methodology presented in "Uncovering In-DRAM RowHammer Protection Mechanisms: A New Methodology, Custom RowHamme…☆18Nov 15, 2022Updated 3 years ago
- Extensible inline parser engine, the backend parsing engine for Lavendeux.☆10Jan 11, 2024Updated 2 years ago
- Lisp Linear Algebra☆19Mar 4, 2026Updated 4 months ago
- A repository to share my emacs lisp code experiments☆39Jan 31, 2024Updated 2 years ago
- C++ Library for implementing the ARA Audio Random Access API☆16Jul 11, 2026Updated 2 weeks ago
- Concurrent hash map for Rust☆16Sep 18, 2016Updated 9 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.
- SQL front-end in Rust☆14May 11, 2021Updated 5 years ago
- ☆13Mar 26, 2024Updated 2 years ago
- @davidtwco's dotfiles - managed by chezmoi!☆15Jan 16, 2026Updated 6 months ago
- Negative harmony application written with JUCE☆19Nov 18, 2022Updated 3 years ago
- Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture can Leak Private Data☆22Oct 13, 2022Updated 3 years ago
- Opal is a vector drawing library with an API similar to Quartz 2D built on top of Cairo.☆24Apr 25, 2026Updated 3 months ago
- The OpenCL Community Specification☆13Jul 11, 2023Updated 3 years ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆20Apr 29, 2024Updated 2 years ago
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- General Relativity Raytracer - simulates light bending in curved spacetimes on a personal computer☆19Jul 17, 2023Updated 3 years ago
- high-speed metrics collection library in Rust☆19May 2, 2019Updated 7 years ago
- simple pitch shift vst plugin☆10Nov 21, 2018Updated 7 years ago
- Compiling LaTeX in your browser -- rewrite of manuels version☆13Jul 22, 2024Updated 2 years ago
- JUCE User Experience Extension☆15Apr 6, 2025Updated last year
- ☆21Apr 14, 2026Updated 3 months ago
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated 6 months ago
- The Official Android App of HackIllinois☆16Feb 28, 2025Updated last year
- ☆20Jun 3, 2020Updated 6 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.
- My [old] Emacs Config. I've moved to Doom now 👇☆23Jan 1, 2023Updated 3 years ago
- ☆26Sep 25, 2024Updated last year
- Parameter behavior and formatting for JUCE☆16Jul 18, 2026Updated last week
- The Noperthedron does not have Rupert Property: a proof in Lean4☆17Jul 18, 2026Updated last week
- Microscope: Enabling Microarchitectural Replay Attacks☆21Jun 26, 2020Updated 6 years ago
- A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x☆26Feb 21, 2019Updated 7 years ago
- Noise generators for vocoder☆19Dec 31, 2018Updated 7 years ago