LFY/webchurch
A compiler for the Church programming language into JavaScript for in-browser execution
Turning Javascript into a probabilistic programming language
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A compiler for the Church programming language into JavaScript for in-browser execution
shred.js - lightweight collection of JS primitives to support tracing.
User page
SMT-based probabilistic programming with delimited continuations