Blood on the Clocktower Script Database
☆33Aug 30, 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:
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 4 months ago
- Generic modeling of object relations in OOP☆14Jan 20, 2024Updated 2 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 4 months ago
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 3 years ago
- This repo contains the source code for https://pest.rs☆13Mar 12, 2026Updated 5 months 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.
- Advanced filters for Graphene☆20Apr 6, 2025Updated last year
- ☆11Mar 14, 2023Updated 3 years ago
- Fast new algorithms for finding the medians, implemented in Rust☆15Jun 14, 2024Updated 2 years ago
- A Coq to Cedille compiler written in Coq☆34Aug 4, 2026Updated 3 weeks ago
- Create Kiwix Hotspot images online☆20Updated this week
- Clangen mod incorporating inheritable cat genetics☆19Updated this week
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated last year
- Collaborative cheatsheets for console commands (tldr project) now in your Browser!☆14Jan 15, 2022Updated 4 years ago
- ☆20Apr 6, 2025Updated last year
- 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.
- Andorid remote app for Tauon Music Box☆17Aug 31, 2021Updated 5 years ago
- sl "Steam Locomotive" as a web app☆12Jul 29, 2024Updated 2 years ago
- A library for working with colors based on go-colorful.☆20Apr 11, 2026Updated 4 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
- ☆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 script runner for deno. 🚀🚀🚀☆22Mar 4, 2022Updated 4 years 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.
- Links Panel, collecting all the links on a page☆16Jun 19, 2025Updated last year
- Adds support for the NBT format used by Minecraft to Intellij☆16Dec 6, 2022Updated 3 years ago
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- reusable pride heart emoji, as seen on the fediverse☆13Sep 16, 2018Updated 7 years ago
- 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
- Arucas is an Interpreted Language using Kotlin, designed to be easily integrated into other Java programs.☆20Mar 10, 2024Updated 2 years ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- ☆16May 4, 2026Updated 3 months 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.
- A Goodreads implementation for Obsidian.☆16May 21, 2021Updated 5 years ago
- A Rust-based proof of concept for streaming from a webcam (using v4l2) in h264 over webrtc☆15Dec 10, 2022Updated 3 years ago
- A collection of playtest character icons for Blood on the Clocktower☆21Mar 30, 2026Updated 5 months ago
- Add all of your starred repos to raindrop.io☆17Jun 6, 2021Updated 5 years ago
- CBukkit & Spigot bindings for WE☆15Mar 20, 2022Updated 4 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- lightweight operating system written in Rust with wasi support.☆17Apr 26, 2026Updated 4 months ago