Artur Corrêa Souza's repositories
iol2024-website
Website of the IOL 2024
analise-olimpica
Scripts da OBL
arcstur
Config files for my GitHub profile.
arewewebyet
Are we web yet? A simple reckoning of Rust’s readiness for Web-related things.
aws-ecs-github-action
CD with AWS ECS Fargate
caderno-EDP
Caderno pessoal para o estudo de Equações Diferenciais Parciais.
certbot
Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.
docker-cron
An example of running cron job in a docker container
inep-ces
Análise dos microdados do Censo da Educação Superior do INEP
inep-ces-rs
Análise dos microdados do Censo da Educação Superior do INEP, usando Rust
logseq
A privacy-first, open-source platform for knowledge management and collaboration. Desktop app download link: https://github.com/logseq/logseq/releases, roadmap: https://trello.com/b/8txSM12G/roadmap
helix
A post-modern modal text editor.
leptos
(fork) Build fast web applications with Rust.
listeria_rs
Repo for the Wikimedia Listeria bot
lunarvim.org
Website for LunarVim
manim
A community-maintained Python framework for creating mathematical animations.
pokencontra
Encontre seus pokémons favoritos pesquisando pelo nome e veja dados interessantes!
rbw
(fork) unofficial bitwarden cli
spotify-player
(fork) A terminal spotify player that is feature parity with the official client
tectonic
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
zola-test
Testing with Zola