Similar repositories to wenkokke/sapphire:

• wenkokke/sapphire github similar
• ReactTraining/react-router github similar
• wenkokke/starchild github similar
• coq-community/gaia github similar
• PatrickMassot/lean-verbose github similar
• leanprover/tc github similar
• leanprover-community/lftcm2020 github similar
• sneeuwballen/zipperposition github similar
• ejgallego/coq-serapi github similar
• smtcoq/smtcoq github similar
• Deducteam/Dedukti github similar
• runtimeverification/haskell-backend github similar
• lukaszcz/coqhammer github similar
• Deducteam/lambdapi github similar
• sisl/NeuralVerification.jl github similar
• MetaCoq/metacoq github similar
• agda/cubical github similar
• PrincetonUniversity/VST github similar
• ProofGeneral/PG github similar
• math-comp/math-comp github similar
• jscoq/jscoq github similar
• safe-graph/graph-adversarial-learning-literature github similar
• snowleopard/alga github similar
• tensorflow/deepmath github similar
• UniMath/UniMath github similar
• google-research/dex-lang github similar
• Pseudomanifold/latex-mimosis github similar
• ucsd-progsys/liquidhaskell github similar
• sorellabs/fuck-you github similar
• HuwCampbell/grenade github similar
• nbp/holyjit github similar
• leanprover/lean4 github similar
• notify-rs/notify github similar
• milesmcc/shynet github similar
• QData/TextAttack github similar
• leanprover/lean github similar
• deepmind/dm-haiku github similar
• FStarLang/FStar github similar
• koka-lang/koka github similar
• gluon-lang/gluon github similar