jthemphill

htmf

"Hey, That's My Fish!" A webapp implementation of a deceptively simple children's game

permission-model

Model of a permissions-based filesystem using Alloy

claremontHvZ

Code for the claremont HvZ website.

advent

Advent of Code

botc-tools

Storyteller tools for Blood on the Clocktower

claspy

A a Python3 constraint solver based on clasp

dds

Double Dummy Solver written in C++ for the Bridge Card Game

dlx

Dancing Links (“dlx”) solver for the exact cover problem, written in Rust. Can be used to create a sudoku solver.

dotfiles

My settings files

Examples

A collection of TLA+ specifications of varying complexities

hanabi-conventions

A list of Hanabi strategies

hhvm

A virtual machine for executing programs written in Hack.

hhvm.com

The landing page for HHVM and the blog of Hack/HHVM

jthemphill.github.io

mage

Magic Another Game Engine

ml5-examples

A collection of ml5.js examples

monolith

A C++ monorepo for discrete and continuous optimization. Batteries included!

monte-carlo-tree-search

Monte Carlo Tree Search with UCT with a couple of example games.

nolannicholson.github.io

Personal website and blog

open_spiel

OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

pnpm-override

Test pnpm override functionality

prophecies

proset

Projective Set

python-docker-dev

A simple Python app for the Python Language Guide in Docker's Docs

pytorch_tutorial_2022

A new PyTorch tutorial designed to dig into the basics

secret-hitler

A web adaptation of the social deduction board game Secret Hitler. https://secrethitler.io

tiny-tetris

Tetris in ~500 lines of JS

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

vscode

Visual Studio Code

wasm-bindgen

Facilitating high-level interactions between Wasm modules and JavaScript