AdmiralGT / botc-scriptsLinks
Blood on the Clocktower Script Database
☆26Updated last week
Alternatives and similar repositories for botc-scripts
Users that are interested in botc-scripts are comparing it to the libraries listed below
Sorting:
- Blood on the Clocktower virtual grimoire & town square☆26Updated 2 weeks ago
- A mobile version of the Blood on the Clocktower grimoire☆66Updated 2 months ago
- The Official Blood on the Clocktower App☆69Updated this week
- A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints☆70Updated 2 years ago
- ☆283Updated last month
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- Incremental computation through constrained memoization.☆559Updated last week
- The glucose SAT solver☆127Updated 6 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆665Updated 6 months ago
- A webapp to convert from Bibtex to Hayagriva☆26Updated 6 months ago
- Factorio mods by Bobingabout☆89Updated last week
- A mod for Factorio. Allows you to plan out your production in detail.☆124Updated last month
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Updated 4 months ago
- KeY Theorem Prover for Deductive Java Verification☆67Updated this week
- Visual Studio Code extension for Coq☆422Updated this week
- Verifying concurrent storage and distributed systems☆208Updated last week
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆42Updated this week
- A computer algebra system for research in combinatorial game theory☆53Updated last year
- VSCode extension that is designed to help automate writing of Coq proofs.☆115Updated 6 months ago
- crow of judgement, weighing student compiler submissions☆15Updated 5 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆192Updated last week
- ☆75Updated last week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆361Updated last week
- Python type hints are Turing complete.☆34Updated 3 years ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 8 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆47Updated this week
- Graph Theory [maintainers=@chdoc,@damien-pous]☆40Updated last month
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- Jetbrains plugin for the LALRPOP parser-generator☆18Updated last year
- A menagerie of cute implementations of modern typechecking algorithms☆355Updated this week