Similar repositories to kudlicka/paper-2019-probabilistic:

• kudlicka/paper-2019-probabilistic github similar
• danistefanovic/build-your-own-x github similar
• yallop/metaocaml-syb github similar
• hongseok-yang/probprog17 github similar
• keowang/dynamic-program-embedding github similar
• npe9/aop github similar
• rishabhs/sygus-comp14 github similar
• jmd1011/snek-LMS github similar
• tel/serv github similar
• gasche/popl2018-papers github similar
• lawmurray/LibBi github similar
• BayesianLogic/blog github similar
• jrslepak/Remora github similar
• JetBrains-Research/OCanren github similar
• TyGuS/suslik github similar
• namin/staged-miniKanren github similar
• ollef/Bidirectional github similar
• nearai/program_synthesis github similar
• probmods/webchurch github similar
• ColCarroll/minimc github similar
• pyro-ppl/funsor github similar
• OpenCCG/openccg github similar
• ekmett/guanxi github similar
• cil-project/cil github similar
• tweag/monad-bayes github similar
• akeep/scheme-to-c github similar
• akeep/nanopass-framework github similar
• ekmett/ad github similar
• jakobnissen/hardware_introduction github similar
• locuslab/SATNet github similar
• AndrasKovacs/elaboration-zoo github similar
• sweirich/pi-forall github similar
• MilesCranmer/symbolic_deep_learning github similar
• vicariousinc/science_rcn github similar
• dzavalishin/phantomuserland github similar
• kokkos/kokkos github similar
• pyro-ppl/numpyro github similar
• tomprimozic/type-systems github similar
• TuringLang/Turing.jl github similar
• suragnair/alpha-zero-general github similar