johnbender/cs-237a
UCLA CS 237a - Prototyping Programming Languages
Public GitHub Catalog
Discovered Sep 27, 2026
johnbender / presentation-resources-local-reasoning
Beamer presentation on O’Hearn's "Resources, Concurrency and Local Reasoning" which covers heap space ownership through Separation logic
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.
#11167977GitHub System ID
johnbenderOrganization / User
PublicVisibility
ActiveCatalog Status
More from johnbender
johnbender/todomvc
Helping you select an MV* framework - Todo apps for Backbone.js, Ember.js, AngularJS, and many more
johnbender/software-foundations
Excercises/code for Software Foundations
johnbender/DeviceTiming
Instrument your JavaScript to measure parse & execution time on any device or browser