Similar repositories to nfzhou/Picat:

• nfzhou/Picat github similar
• nfzhou/PicatPrism github similar
• mbionchi/json-picat github similar
• ponyatov/uPicat github similar
• nfzhou/english_dictionary github similar
• SWI-Prolog/pengines github similar
• sebdumancic/pylo2 github similar
• logic-and-learning-lab/Popper github similar
• BayesianLogic/blog github similar
• MiniZinc/minizinc-examples github similar
• metagol/metagol github similar
• cscherrer/Soss.jl github similar
• MikeInnes/Lazy.jl github similar
• Mercury-Language/mercury github similar
• stan-dev/rstan github similar
• vmware/differential-datalog github similar
• flix/flix github similar
• triska/the-power-of-prolog github similar
• JuliaLang/PackageCompiler.jl github similar
• svaksha/Julia.jl github similar
• dotnet/infer github similar
• mthom/scryer-prolog github similar
• TuringLang/Turing.jl github similar
• hypotext/notation github similar
• getguesstimate/guesstimate-app github similar
• stan-dev/stan github similar
• SciML/DifferentialEquations.jl github similar
• FluxML/Flux.jl github similar
• microsoft/Power-Fx github similar
• pditommaso/awesome-pipeline github similar
• mxgmn/MarkovJunior github similar
• bitemyapp/learnhaskell github similar
• almende/vis github similar
• google/or-tools github similar
• emilk/egui github similar
• App-vNext/Polly github similar
• hashcat/hashcat github similar
• httpie/httpie github similar
• CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers github similar
• railsware/upterm github similar