Tedworthy/ATLAST
ATLAST: Automatic Translation of Logic to ANSI SQL Tool. Basically a web app that translates from first-order predicate logic to SQL.
Public GitHub Catalog
Discovered Sep 29, 2026
Tedworthy / github-trello
Manage Trello cards through Github commit messages
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#13705384GitHub System ID
TedworthyOrganization / User
PublicVisibility
ActiveCatalog Status
More from Tedworthy
Tedworthy/timetable
Converts Imperial College's timetables for the Computing department from HTML tables to iCalendar