jfeser/castor

Deductive synthesis and compilation of specialized databases.

语言：OCaml · GitHub 星标：13 · Fork：0

话题：compiler · database · deductive-reasoning · program-synthesis

在 GitHub 上查看原仓库