melloc/pyret-compiler
A compiler for the Pyret language (http://www.github.com/brownplt/pyret-lang)
Public GitHub Catalog
Discovered Sep 27, 2026
melloc / atomicity
This is a formalization of the paper "Types for Atomicity" by Flanagan and Qadeer
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.
#9501516GitHub System ID
mellocOrganization / User
PublicVisibility
ActiveCatalog Status
More from melloc
melloc/roguelike
A simple roguelike engine and game, originally made for CS195N.
melloc/vice
A vi-like editor, built on a client-server model
melloc/wescheme-compiler2012
The WeScheme server compiler