johnbender/concurrent-logics
Work and studies in concurrent programming logics
Public GitHub Catalog
Discovered Sep 28, 2026
johnbender / sql-delta
A tool to augment the descriptive declarative syntax of SQL DDL with differential semantics.
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.
#12649577GitHub System ID
johnbenderOrganization / User
PublicVisibility
ActiveCatalog Status
More from johnbender
johnbender/cs-281a
Scribe notes for 281a, Computational Complexity, UCLA Winter 2014
johnbender/cs-201
Lecture write-ups from Computer Science 201, Seminars in Computer Science, at UCLA, Fall 2013
johnbender/cs-495
Self-critiques and presentation material from Computer Science 495, Teaching Assistant Training, at UCLA, Fall 2013