alex-ren/6887psets
Problem Sets for MIT 6.887 Formal Reasoning About Programs
Public GitHub Catalog
Discovered Sep 26, 2026
alex-ren / org.ats-lang.postiats.jats
Interpreter for ATS in Java.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#7862346GitHub System ID
alex-renOrganization / User
PublicVisibility
ActiveCatalog Status
More from alex-ren
alex-ren/ats2spin
Use ATS to generate models in Promela
alex-ren/IntelliJATS
An ATS Plugin for IntelliJ IDEA.
alex-ren/Learn-ATS-Postiats-contrib
Learning code of ATS-Postiats-contrib