Libraries tagged by nondeterministic

kendall-hopkins/formal-theory

34 Favers
11088 Downloads

FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.

The static host of the omnibridge family: a generic exporter that enumerates an application's addresses (explicit lists, a router's #[Route] routes with the values of their parameters, a sitemap), renders each at build time by the application's own code (its host's request handling, its actions, or any callable), and writes a deterministic folder for a static host or a CDN - HTML pages, the files of an asset manifest (Vite, Webpack), the files the pages refer to, redirections, 404.html, sitemap.xml and a report with checksums and diagnostics (broken links, duplicate outputs, missing assets, non-deterministic pages). No framework, no bundler.

Go to Download