Blood on the Clocktower Script Database
☆33Aug 5, 2026Updated last week
Alternatives and similar repositories for botc-scripts
Users that are interested in botc-scripts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools for making custom BotC Tokens☆31Mar 13, 2026Updated 4 months ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- ☆18Aug 7, 2024Updated 2 years ago
- A distributed key-value cache with builtin materialized views.☆25Nov 14, 2014Updated 11 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 3 months ago
- 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.
- Debugger written in Rust☆24Jul 8, 2022Updated 4 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 3 months ago
- A Discord bot which uses the websocket connection at https://crackwatch.com to query results.☆10Mar 30, 2021Updated 5 years ago
- ☆29May 8, 2025Updated last year
- User script for AUTOMATIC111's SD WebUI that integrates MagicPrompt☆15Jan 8, 2023Updated 3 years ago
- A Serialization and Deserialization Library☆10Dec 16, 2022Updated 3 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆22Mar 29, 2026Updated 4 months ago
- Coq code formatter☆25Jun 15, 2026Updated last month
- ☆11Mar 14, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆22Sep 16, 2022Updated 3 years ago
- Fast new algorithms for finding the medians, implemented in Rust☆15Jun 14, 2024Updated 2 years ago
- ☆31Mar 4, 2024Updated 2 years ago
- A package for common types for Cargo index interactions, and conversion between them.☆26May 31, 2026Updated 2 months ago
- Clangen mod incorporating inheritable cat genetics☆17Updated this week
- Collaborative cheatsheets for console commands (tldr project) now in your Browser!☆14Jan 15, 2022Updated 4 years ago
- ☆20Apr 6, 2025Updated last year
- My personal site.☆10Jul 7, 2026Updated last month
- Python utils for OpenGloves☆20Apr 23, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Shaders that in no way make your game any more appealing. Use them anyways.☆26Jan 20, 2026Updated 6 months ago
- raw maxwell models and maxwell fan website☆11Mar 26, 2025Updated last year
- My personal Asciidots Cheat Sheet in .jpg .odt .pdf .png and obviously in .txt☆18Oct 22, 2020Updated 5 years ago
- Extension script for Automatic1111 Stable Diffusion to pull prompts from krea and lexica.☆29Nov 6, 2022Updated 3 years ago
- ☆11Jun 26, 2022Updated 4 years ago
- Adds some useful YAML frontmatter to your Obsidian notes☆11May 3, 2024Updated 2 years ago
- Lezer grammar support for VS Code.☆11Feb 16, 2021Updated 5 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆42Nov 29, 2025Updated 8 months ago
- Idle Steam game hours and cards☆16Jun 28, 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.
- Bnf-Ast Generator is a parser generator framework for parsing EBNF syntaxes with Java code. Unlike other EBNF-Parser must write config fi…☆15Oct 12, 2020Updated 5 years ago
- Obsidian plugin that adds various commands, e.g. for __bold__ or <cite>.☆14Mar 14, 2022Updated 4 years ago
- RSS feeds created/collected by TabHub.☆17Updated this week
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- Makes obsidian notes look like printed text annotated with highlighter.☆12Jan 23, 2022Updated 4 years ago
- A Goodreads implementation for Obsidian.☆16May 21, 2021Updated 5 years ago
- GraphML output generator for petgraph☆21Jul 25, 2026Updated 2 weeks ago