Lamport-Sim-1 is a project mainly written in Python, it's free.

Simulation backend for Lamport's Mutual Exclusion algorithm exploration site