AdmiralGT / botc-scriptsLinks
Blood on the Clocktower Script Database
☆26Updated 2 weeks ago
Alternatives and similar repositories for botc-scripts
Users that are interested in botc-scripts are comparing it to the libraries listed below
Sorting:
- A language server for Standard ML in Rust.☆231Updated last week
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆295Updated 2 weeks ago
- Counterexamples in Type Systems☆405Updated 2 years ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆193Updated 2 weeks ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆167Updated last week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆53Updated last year
- A verifier for automated and interactive proofs about transition systems.☆164Updated 3 weeks ago
- Tetris game in Typst☆46Updated 3 months ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆42Updated last week
- Visual Studio Code extension for Coq☆424Updated last week
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆62Updated 3 months ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Updated last year
- Dahlia — a simple text formatting package, inspired by the game Minecraft.☆19Updated 11 months ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆196Updated 2 weeks ago
- Generate prime numbers from pictures!☆339Updated 3 years ago
- crow of judgement, weighing student compiler submissions☆15Updated 5 months ago
- raw maxwell models and maxwell fan website☆11Updated 8 months ago
- ☆284Updated 2 months ago
- The Official Blood on the Clocktower App☆71Updated last week
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆143Updated this week
- Discord glossing bot for Ithkuil IV☆20Updated 2 years ago
- Package registry for Lean/Lake.☆32Updated 2 months ago
- A menagerie of cute implementations of modern typechecking algorithms☆359Updated last week
- Visual Studio Code extension for the Lean 4 proof assistant☆244Updated this week
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆37Updated last week
- TLA+ language support for Visual Studio Code☆399Updated last week
- An interpreter for the Shakespeare Programming Language, implemented in Python☆103Updated 7 months ago
- Natural Number Game☆263Updated 2 months ago
- A document language for the browser☆706Updated last year