robsimmons/interactive-lp
Project materials related to logic programming for interactive/reactive systems.
Public GitHub Catalog
Discovered Sep 25, 2026
robsimmons / cmu-thesis
Latex starters for creating a CMU thesis or thesis proposal
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.
#3506837GitHub System ID
robsimmonsOrganization / User
PublicVisibility
ActiveCatalog Status
More from robsimmons
robsimmons/structural-hypertext
Code for implementing, evaluating, and understanding hypertext as structured data in Standard ML.
robsimmons/twelf
The Twelf Programming Language (mirror of SVN repository)
robsimmons/mlton
The MLton repository