Pinned Repositories
fklearn
fklearn: Functional Machine Learning
FxyLang
lean2md
LeanMySQL
A MySQL API for Lean 4
miraiml
MiraiML: asynchronous, autonomous and continuous Machine Learning in Python
NumLean
A Lean 4 package for heavy numerical computations
scikit-lego
Extra blocks for scikit-learn pipelines.
matplotlib
matplotlib: plotting with Python
pingouin
Statistical package in Python based on Pandas
scikit-learn
scikit-learn: machine learning in Python
arthurpaulino's Repositories
arthurpaulino/lean2md
arthurpaulino/LeanMySQL
A MySQL API for Lean 4
arthurpaulino/NumLean
A Lean 4 package for heavy numerical computations
arthurpaulino/FxyLang
arthurpaulino/LeanREPL
arthurpaulino/LeanMusic
arthurpaulino/viper
A Python environment manager built in Lean 4
arthurpaulino/chrome-lean-unicode
Type Lean unicode characters in your web browser
arthurpaulino/speech-enhancement
Using neural networks to enhance speech quality of noisy recordings
arthurpaulino/minicurso-programa-sama-1
arthurpaulino/mini
arthurpaulino/fklearn
fklearn: Functional Machine Learning
arthurpaulino/arthurpaulino.github.io
My personal blog.
arthurpaulino/doc-gen
Generate HTML documentation for mathlib and Lean
arthurpaulino/dungeon_world_data
Dart + NPM package with Dungeon World character, moves & other data
arthurpaulino/godot
Godot Engine – Multi-platform 2D and 3D game engine
arthurpaulino/hash-based-snargs-book
Source code for "Building Cryptographic Proofs from Hash Functions"
arthurpaulino/lake
Lean 4 build system and package manager with configuration files written in Lean.
arthurpaulino/lean4
Lean 4 programming language and theorem prover
arthurpaulino/leandiscord-weekly
Weekly challenges for the Lean Discord Server.
arthurpaulino/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
arthurpaulino/lurk
Lisp implementation of Lurk.
arthurpaulino/malkovrante-esperanton
arthurpaulino/marley
"Many Awesome Retro Linux Emulators, Yay!" -- A bundle of gaming console emulators for the x86_64 Linux platform
arthurpaulino/mathlib4
Work in progress mathlib port for lean 4
arthurpaulino/mktileset
arthurpaulino/PlantioCaianinhoAdm
arthurpaulino/scikit-fairness
this repo might get accepted
arthurpaulino/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
arthurpaulino/thismonth.rocks
motivational website to do something special this month