Stephan Boyer's repositories
theorem-prover
An automated theorem prover for first-order logic.
data-structure-explorer
A web-based pedagogical tool for exploring data structures.
cfg-checker
Search for ambiguities in context-free grammars.
doesgoogleexecutejavascript
Google executes JavaScript, even if the script is fetched from the network. However, Google does not make AJAX requests.
base16-circus-scheme
A theme for the Base16 color system.
pico
Scaffolding for programming and debugging a Raspberry Pi Pico or Pico W.
Language:CNOASSERTION000