Arthur Paulino (@arthurpaulino)
github

arthurpaulino

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    207
  • Global Rank 119,999 (Top 5 %)
  • Followers 64
  • Following 3
  • Registered over 12 years ago
  • Most used languages
    Lean     54.5 %
    Python
         27.3 %
    JavaScript
         9.1 %
    Assembly
         9.1 %
  • Location πŸ‡§πŸ‡· Brazil
  • Country Total Rank 1,803
  • Country Ranking
    Lean     3
    Assembly
         185
    Python
         884

Top repositories

1

miraiml

MiraiML: asynchronous, autonomous and continuous Machine Learning in Python
Python
25
star
2

LeanMySQL

A MySQL API for Lean 4
Lean
12
star
3

lean2md

Python
11
star
4

NumLean

A Lean 4 package for heavy numerical computations
Lean
10
star
5

FxyLang

Lean
10
star
6

LeanREPL

Lean
8
star
7

viper

A Python environment manager built in Lean 4
Lean
7
star
8

LeanMusic

Lean
7
star
9

chrome-lean-unicode

Type Lean unicode characters in your web browser
JavaScript
3
star
10

speech-enhancement

Using neural networks to enhance speech quality of noisy recordings
Python
3
star
11

minicurso-programa-sama-1

3
star
12

MAR-bot

Assembly
2
star