LeviCC8

LeviCC8's repositories

Logic-based explications using abductive reasoning.

Language:Python4 30

Language:Python3 10

Language:Python2 10

Language:Python2 10

Language:Python2 10

An algorithm for roughly identifying a value of a playing card.

Language:Python1 20

An implementation of DPLL, a sat solver.

Language:Python1 20

Algorithms developed for the discipline of logic for computer science.

Language:Python1 20

Veterinary system that performs CRUD.

Language:Python1 2 12

SIFT-Based Genetic Seam Carving

Language:Python020

Monograph presented for the conclusion of the Computer Science course at IFCE.

Language:TeX020

A similar version of MIPS developed for a college homework.

Language:Python020

Language:Jupyter Notebook010