⚰️ Is an Electron 🖥️ Cross-Platform Desktop App providing sleep notifications for Vampires 🧛🏻
-
Updated
May 25, 2017 - JavaScript
⚰️ Is an Electron 🖥️ Cross-Platform Desktop App providing sleep notifications for Vampires 🧛🏻
A verification conditions generator for Boogie programs
Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
Bram Stoker's Dracula. Read the famous epistolary story online! An e-book experience built with Ruby and Jekyll.
A clicker-style game that really sucks
Discord bot for VtM V5 enthusiasts. Still in testing and adding bot features.
Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).
A character sheet for White Wolf's Vampire: The Requiem, 1st edition
Parser and pretty printer for the TPTP language
Add a description, image, and links to the vampire topic page so that developers can more easily learn about it.
To associate your repository with the vampire topic, visit your repo's landing page and select "manage topics."