Similar repositories to lpcp-contest/lpcp-contest-2019:
lpcp-contest/lpcp-contest-2019
github
similar
sarsko/CreuSAT
github
similar
QuMuLab/pdkb-planning
github
similar
KCL-Planning/SMTPlan
github
similar
SWI-Prolog/swipl-wasm
github
similar
janestreet/ppx_sexp_conv
github
similar
kovvalsky/LangPro
github
similar
formal-land/coq-of-ocaml
github
similar
metagol/metagol
github
similar
lukaszcz/coqhammer
github
similar
jix/varisat
github
similar
c-cube/datalog
github
similar
chrisamaphone/interactive-lp
github
similar
MetaCoq/metacoq
github
similar
princeton-vl/CoqGym
github
similar
LogtalkDotOrg/logtalk3
github
similar
xldenis/creusot
github
similar
opennars/opennars
github
similar
ellisk42/ec
github
similar
rvirding/erlog
github
similar
leanprover-community/lean
github
similar
yuce/pyswip
github
similar
model-checking/kani
github
similar
SuprDewd/T-414-AFLV
github
similar
cvc5/cvc5
github
similar
jwiegley/category-theory
github
similar
facebookexperimental/MIRAI
github
similar
OpenLogicProject/OpenLogic
github
similar
TheAlgorithms/Scala
github
similar
rust-in-action/code
github
similar
exercism/rust
github
similar
mthom/scryer-prolog
github
similar
triska/the-power-of-prolog
github
similar
jonathan-laurent/AlphaZero.jl
github
similar
rust-bio/rust-bio
github
similar
HoTT/HoTT
github
similar
winitzki/sofp
github
similar
leanprover-community/mathlib
github
similar
rust-lang/chalk
github
similar
puncsky/system-design-and-architecture
github
similar