Felix S Klock II

experiment

Yet another Blood on the Clocktower analysis tool, this time atop Sentential Decision Diagrams (SDDs)

Blood on the Clocktower game logic modeled in Answer Set Programming (Clingo)

Mapping BotC into ZDDs

workspace for vibe coding web-based games

Umbrella repository for Krabcake experiments

Encodes BOTC game state into SAT formula, for bag and grimoire generation and/or validation

Clingo on the web

The Pyret language.

a visual programming language inspired by Scratch

The cee-scape crate provides access in Rust to `setjmp` and `sigsetjmp` functionality.

rusty botc-core

user repository. intention is mainly to serve as a central point to link to other pages (or repos) of interest to me as a developer

The atomic_ops project (Atomic memory update operations portable implementation)

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)

Markdown-based Literate programming in Rust, integrated with Cargo.

This is a webapp I'm vibe-coding.

An OpenGL function pointer loader for Rust

Playing around with LLVM tutorial using Rust

A repository demonstrating some minimization techniques on a concrete large test case.

Various TAOCP exercises implemented in rust.

Some tutorial-style examples of Rust programs

Demonstration crate for the tango literate programming tool.

Prototype valgrind tool for Rust

Duck-themed multi-user virtual spaces in WebVR. Built with A-Frame.

Source for miscellaneous presentations

Rust Project Goals tracker

Creusot helps you prove your code is correct in an automated fashion.

Verified Rust for low-level systems code

Record and Replay Framework