Discovered public repositories for jsimacek in the GitHub catalog.
Tool for Verification of Programs with Pointers
VATA Tree Automata Library
We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.