Discover @greati Open Source projects

Vitor Greati (@greati)

greati

Stars
58
Global Rank 307,272 (Top 11 %)
Followers 81
Following 72
Registered about 11 years ago
Most used languages

C++
27.8 %

Java
22.2 %

Haskell
11.1 %

Jupyter Notebook
11.1 %

Python
11.1 %

Lean 5.6 %

TeX
5.6 %

C
5.6 %
Location 🇳🇱 Netherlands
Country Total Rank 4,853
Country Ranking

Lean 7

TeX
62

Haskell
86

C
823

C++
866

Jupyter Notebook
959

Java
1,741

Python
3,197

processor_risc

A simple processor implemented in SystemC

gryph

A programming language for easy graph manipulation.

mini-java-compiler

A compiler for the Mini-Java language

omg

Open Machinery for Graphics: computer graphics library and utilities

licitatorium

Fiscalização cidadã das licitações do Governo Federal.

timewarrior-polybar

A polybar plugin to track timewarrior state

minicourse-intro-data-science

Introduction to Data Science for the industry

Jupyter Notebook

hilbert-classical-fragments

Proofs in Lean of the axiomatizability of all classical logic fragments.

god4labs

Management system for Chemistry laboratories using Java/Swing

tao

Mathematical library written in modern C++

skew_heaps

Implementation of top-down and bottom-up skew heaps in Haskell.

programming_challenges

Solution for the problems found in the book "Programming Challenges - Skiena and Revilla" + Online Judges

raster

A simple 2D raster

workersx9

Sistema para gerenciamento de entrada e saída de trabalhadores em empresas utilizando QR Code e o framework IOx9.

pres-android

Android application for improving audience-presenter interaction.

logicantsy

Prototypical library and CLI assistant for research in logic.

covertype-data-analysis

Data analysis over the Covertype dataset.

Jupyter Notebook

rp3-android-things-camera-apps

A set of apps for working with camera on Android Things running in a Raspberry Pi 3.