Name: Vitor Greati
Type: User
Company: University of Groningen
Bio: Master in Systems and Computing (UFRN). PhD student at the University of Groningen, working on computational properties of nonclassical logics via proof theory.
Location: Groningen, The Netherlands
Blog: vitorgreati.me
Vitor Greati's Projects
Implementations of some algorithms in C/C++.
System for a book store using C#/ASP.NET/Linq
VHDL code for some digital circuits (Circuit Laboratory class, IMD, 2016.1)
Data analysis over the Covertype dataset.
Haskell implementation of DSW algorithm, which performs an efficient global balancing of a binary (search) tree.
DockerHub public images - Hadoop, Kafka, ZooKeeper, HBase, Cassandra, Solr / SolrCloud, Presto, Apache Drill, Nifi, Spark, Superset, H2O, Mesos, Serf, Consul, Riak, Alluxio, Jython, Advanced Nagios Plugins Collection / PyTools / Tools repos on CentOS / Ubuntu / Debian / Alpine
This project aims to show how to avoid a system crash by a fork bomb.
Management system for Chemistry laboratories using Java/Swing
Simple C++ API for manipulating GPIO in a Beagle Bone Black.
A programming language for easy graph manipulation.
Proofs in Lean of the axiomatizability of all classical logic fragments.
Framework for user flows monitoring in stablishments.
Things I'm currently learning or tried to learn in the past.
Fiscalização cidadã das licitações do Governo Federal.
Prototypical library and CLI assistant for research in logic.
Game based on the classic Asteroid with some customizations. Developed in C++ with the SFML library.
A simple memory monitor tool.
A compiler for the Mini-Java language
Introduction to Data Science for the industry
Open Machinery for Graphics: computer graphics library and utilities
Projeto que realiza integração com o sistema Plant Information (PI) da Osi Soft a partir de uma conexão via Jdbc.
Simple OpenFlow load balancer implemented via POX.
Android application for improving audience-presenter interaction.
A simple processor implemented in SystemC
Solution for the problems found in the book "Programming Challenges - Skiena and Revilla" + Online Judges
A simple 2D raster