Pinned Loading

1. cvc5 cvc5 Public

   Forked from cvc5/cvc5

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT 1

2. carcara carcara Public

   Forked from ufmg-smite/carcara

   Carcará is a proof checker and elaborator for SMT proofs in the Alethe format.

   Rust 1

3. proof-visualizer proof-visualizer Public

   Forked from ufmg-smite/proof-visualizer

   A visualizer for proof certificate generated by CVC5, a SMT solver. This website provides customizable views through graphs and tables that allow a better understanding of certificates and the oper…

   TypeScript 1

4. hand-written-detection hand-written-detection Public

   Handwritten images detection using deep learning techniques at https://vinciusb.github.io/hand-written-detection/.

   Jupyter Notebook

5. code-editor code-editor Public

   My own HTML-CSS-JS code editor created using React.

   JavaScript 1

6. ETL-stack-overflow-TP2-AD ETL-stack-overflow-TP2-AD Public

   A stack overflow survey analysis using ETL (Pentaho PDI) and data warehouse techniques for better comprehension of the dev community behavior in function of many parameters. Data Warehouse class - …