mhlr/virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
algebraic specification and verification system
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 Framework for Runtime Code Generation and Compiled DSLs
js.scala: JavaScript as an embedded DSL in Scala
Public repository.
FACTORIE is a toolkit for deployable probabilistic modeling, implemented as a software library in Scala. It provides its users with a succinct language for creating relational factor graphs, estimating parameters and performing inference.