HanielB
Follow
-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
-
-
-
abstract Public
Forked from Maj07/movie-app-reactMovie App in React and Typescript
TypeScript UpdatedAug 18, 2026 -
-
-
-
-
-
-
cvc5_pythonic_api Public
Forked from cvc5/cvc5_pythonic_apiA Z3Py-compatible interface to cvc5
Python Other UpdatedJun 24, 2024 -
-
-
qmk_firmware Public
Forked from qmk/qmk_firmwarekeyboard controller firmware for Atmel AVR USB family
C GNU General Public License v2.0 UpdatedSep 26, 2023 -
-
-
-
-
-
-
-
-
-
-
pysmt Public
Forked from pysmt/pysmtpySMT: A library for SMT formulae manipulation and solving
Python Apache License 2.0 UpdatedJan 7, 2020 -
mkplot Public
Forked from alexeyignatiev/mkplotA Python script to create cactus and scatter plots based on matplotlib
Python MIT License UpdatedFeb 21, 2019 -
-
goodreads Public
Forked from sefakilic/goodreadsPython wrapper for Goodreads API
Python UpdatedAug 26, 2015