robsimmons/interactive-lp
Project materials related to logic programming for interactive/reactive systems.
Public GitHub Catalog
Discovered Sep 26, 2026
robsimmons / HLevy
Haskell implementation of the Levy (CBPV) language
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.
#8227329GitHub 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