Blood on the Clocktower Script Database
☆30Jun 28, 2026Updated 3 weeks ago
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
- Virtual block devices on Linux☆20Jan 2, 2020Updated 6 years ago
- ☆18Aug 7, 2024Updated last year
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 2 months ago
- A Serialization and Deserialization Library☆10Dec 16, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fast new algorithms for finding the medians, implemented in Rust☆15Jun 14, 2024Updated 2 years ago
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 years ago
- Clangen mod incorporating inheritable cat genetics☆16Updated this week
- Collaborative cheatsheets for console commands (tldr project) now in your Browser!☆14Jan 15, 2022Updated 4 years ago
- Allows you to send class Runnable, Consumer, Function files via the socket, load them into the CloassLoader and have it executed on the s…☆16Dec 30, 2025Updated 6 months ago
- High-performance Markdown and MDX compiler with a Rust core.☆19May 21, 2026Updated 2 months ago
- Microservices-based social network built with .NET8 and ASP .NET Core Blazor WebAssembly, following distributed DDD principles. Scalable …☆23Jul 30, 2025Updated 11 months ago
- Formalization of DBSP☆35Aug 22, 2023Updated 2 years ago
- Adds some useful YAML frontmatter to your Obsidian notes☆11May 3, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Links Panel, collecting all the links on a page☆16Jun 19, 2025Updated last year
- 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
- ☆15May 4, 2026Updated 2 months ago
- A Goodreads implementation for Obsidian.☆16May 21, 2021Updated 5 years ago
- GraphML output generator for petgraph☆21Jul 4, 2026Updated 2 weeks ago
- A Rust-based proof of concept for streaming from a webcam (using v4l2) in h264 over webrtc☆15Dec 10, 2022Updated 3 years ago
- Add all of your starred repos to raindrop.io☆16Jun 6, 2021Updated 5 years ago
- CBukkit & Spigot bindings for WE☆15Mar 20, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 2 months ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆44Oct 16, 2024Updated last year
- Organize photos by date and location in a directory structure☆17Oct 19, 2025Updated 9 months ago
- ☆12Mar 30, 2024Updated 2 years ago
- Japanese Argument Structure Analyzer (ASA) client for Python☆11Feb 16, 2019Updated 7 years ago
- ☆12Jun 14, 2026Updated last month
- Starlette / Zeit Now app for converting HEIC to JPEG☆14Apr 28, 2020Updated 6 years ago
- Relation algebra library for Coq☆52May 6, 2026Updated 2 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.
- Collection of Fediverse logos and other services one might find useful☆17Jun 13, 2021Updated 5 years ago
- Signal handling for rust☆23Aug 10, 2019Updated 6 years ago
- ☆12Jun 10, 2026Updated last month
- Clean a series of links, resolving redirects and finding Wayback results if page is gone. Originally written to aid with importing from A…☆19Nov 25, 2025Updated 7 months ago
- A simple database backup manager for Symfony2 with support for S3, Rackspace, Dropbox, FTP, SFTP.☆13Jul 30, 2019Updated 6 years ago
- Mdformat plugin to generate a table of contents☆27Oct 15, 2025Updated 9 months ago
- Script and library to wait for a DNS authority server to get its configuration.☆15Oct 21, 2021Updated 4 years ago