LFY/unweave
SMT-based probabilistic programming with delimited continuations
Public GitHub Catalog
Discovered Sep 26, 2026
LFY / lfy.github.com
User page
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.
#6989061GitHub System ID
LFYOrganization / User
PublicVisibility
ActiveCatalog Status
More from LFY
LFY/RandomT
First-order probabilistic programming in Python
LFY/ssmt
Probabilistic programming on SMT solvers
LFY/jschurch
A Church implementation that compiles to Javascript.