Stars
Browse starred repositories and topics
Sort: Recently starred
Sort options
Starred Repositories
-
-
-
-
Standard ML interpreter, with relational extensions, implemented in Java
-
sdqlpy: A Compiled Query Engine for Python
-
-
2 Starred
Jan 21, 2023 -
Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
-
An implementation of the "Handlers in action" calculus in the K Framework
4 StarredNov 3, 2021 -
BayesCard: Revitalizing Bayesian Networks for Cardinality Estimation