Blood on the Clocktower Script Database
☆34Oct 29, 2026Updated this 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:
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Proving crash safety for systems with layered recovery☆16Apr 1, 2026Updated 7 months ago
- ☆20Sep 16, 2026Updated last month
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 6 months ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This library provide simple date picker widget for egui☆14Jun 16, 2023Updated 3 years ago
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 3 years ago
- Standard Library for Skip apps☆13Oct 17, 2026Updated 2 weeks ago
- A modern shell for the future (under development)☆15Apr 2, 2026Updated 7 months ago
- Implementation of the `using` feature in Swift by code generation with SwiftSyntax☆11Apr 22, 2019Updated 7 years ago
- Tiny BASIC interpreter written in Swift☆12Apr 11, 2015Updated 11 years ago
- A conda-smithy repository for go.☆10Oct 20, 2026Updated 2 weeks ago
- Rust traits for nonzero generic integers☆18May 24, 2022Updated 4 years ago
- DSOLVE☆10Apr 11, 2014Updated 12 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.
- A C-style for loop macro☆15Sep 30, 2020Updated 6 years ago
- Clangen mod incorporating inheritable cat genetics☆25Updated this week
- Hanabi Slack bot☆13Oct 1, 2026Updated last month
- ☆13Jan 5, 2023Updated 3 years ago
- A transpiler that converts TeX into Unicode (as possible).☆23Jul 23, 2026Updated 3 months ago
- Single player GUI card game written in C++ using the Qt framework. Inspired by the game of the same name from Fallout New Vegas.☆10Aug 27, 2020Updated 6 years ago
- ☆15Mar 15, 2016Updated 10 years ago
- This repo contains the source code for https://pest.rs☆13Oct 16, 2026Updated 2 weeks ago
- Discord bot that integrates with UWaterloo's LDAP to verify the identity of new Discord members☆43Aug 25, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Sep 30, 2024Updated 2 years ago
- A script runner for deno. 🚀🚀🚀☆22Mar 4, 2022Updated 4 years ago
- A synchronous message passing channel that only retains the most recent value.☆15May 27, 2023Updated 3 years ago
- ☆13Oct 20, 2026Updated 2 weeks ago
- CIDM 6330☆13Mar 1, 2026Updated 8 months ago
- ☆32Mar 4, 2024Updated 2 years ago
- A SwiftUI view that wraps a text field to only accept specific data.☆13Nov 27, 2020Updated 5 years ago
- RSS feeds created/collected by TabHub.☆17Updated this week
- Obsidian plugin that adds various commands, e.g. for __bold__ or <cite>.☆14Mar 14, 2022Updated 4 years 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.
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆42Nov 29, 2025Updated 11 months ago
- Lezer grammar support for VS Code.☆11Feb 16, 2021Updated 5 years ago
- svelte's tiling window manager☆12Apr 6, 2025Updated last year
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- 📚 A set of functions used to easily write a web extension☆13Oct 13, 2022Updated 4 years ago
- 🐱 Shortcuts to enable better browser tabs management☆11Oct 15, 2026Updated 2 weeks ago
- A graph tutorial website☆13Mar 5, 2023Updated 3 years ago