🎯
Focusing
-
-
-
cvc5 is an open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedJul 6, 2021 -
-
-
awesome-decentralized-web Public
Forked from gdamdam/awesome-decentralized-weban awesome list of decentralized services and technologies
UpdatedFeb 28, 2019 -
awesome-project-ideas Public
Forked from NirantK/awesome-project-ideasCurated list of Machine Learning, NLP, Vision, Recommender Systems Project Ideas
MIT License UpdatedOct 12, 2018