A compiler for the 🎃 Spooky 😱 programming language 👻

🧛 Vampire themed metroidvania game written in C++20 and Axmol. Team up with NPCs and go on an adventure together!

Vampire: The Masquerade character creator page made with Angular

v14 Discord Vampir Köylü Botu | 50 Takipçi Ve 15 Starda Paylaşılacaktır.

👻 어둠속에 😱 유폐당한 ⚰️ 고독한 🌙 밤의 친우여 ⚠️ ３９８００원 ⚠️ 한정 💰 판매가 🧛‍♂️ 전향 계약 🧛‍♀️ 키트를 😉 추천하오 👍 빛🔆의 세계🌏와 고별🖐한 굳게 잠근 방문🚪이여 초1️⃣회 특전 모조 피🩸를 흡혈🧛‍♂️하며 진정한 어둠⚫에 취해🍷 보시오 🧛‍♂️ 너도 뱀파이어 🩸 나도 뱀파이어 🧛‍♂️

Princes of Darkness Crusader Kings II (CK2) Modification

🧛 Play as a vampire! A mod for fabric/quilt.

A character generator for Vampire The Masquerade v5

Paige Krsnak's portfolio

Download file like a vampire

Parser and pretty printer for the TPTP language

A Discord dicebot for White Wolf's World of Darkness tabletop RPGs, such as Vampire: The Masquerade.

A minecraft addon mod for Vampirism and Farmer's Delight

Run ATPs from SystemOnTPTP

Vampir Köylü Operatörü

A verification conditions generator for Boogie programs

A SimpleConstruction! (SCON) expansion which adds Mallet, Survey Stake, Recycler, Disposable Pad, and Orbital Dock; and turns Cupola module to Survey Station. Requires SimpleConstruction! and is for Kerbal Space Program.

A mostly POSIX-compliant utility that scans a given interval for vampire numbers.

Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.

⚰️ Is an Electron 🖥️ Cross-Platform Desktop App providing sleep notifications for Vampires 🧛🏻