Name: Leandro Lisboa Penz
Type: User
Company: Arista Networks
Bio: Programming language enthusiast with Rust and Haskell adventures - and 15+ years of professional embedded C programming with a lot of python.
Twitter: lpenz
Location: Dublin, Ireland
Blog: http://www.lpenz.org
Lately, I've been mostly playing around with rust (sometimes on codingame), nix and github actions.
Sometimes I leave notes on my old-school home page at http://www.lpenz.org/ (repository).
adventofcode-template
Template for rust advent of code puzzle solutions
adventofcode2018
Code for the 2018 puzzles at https://adventofcode.com/2018/
adventofcode2019
Code for the 2023 puzzles at https://adventofcode.com/2019/
adventofcode2020
Code for the 2020 puzzles at https://adventofcode.com/2020/
adventofcode2021
Code for the 2021 puzzles at https://adventofcode.com/2021/
adventofcode2022
Code for the 2022 puzzles at https://adventofcode.com/2022/
adventofcode2023
Code for the 2023 puzzles at https://adventofcode.com/2023/
agg
asciinema gif generator
anac-civ-csv-upload
Utilitário que envia uma planilha como rascunho para o CIV digital da ANAC
andex
Safe, strongly typed array indexes and wrappers for rust, with zero dependencies
ansible-lint-action
GitHub Action for running ansible-lint as part of your workflows! [ https://github.com/marketplace/actions/ansible-lint ]
ansible-playbooks
My personal ansible playbooks that provision my environment and machines
ansible-testing-netconf
Tests for netconf ansible module
asciinema2gif
Generate animated GIFs from asciinema terminal recordings
atdtool
Command-line interface for After the Deadline language checker
autofolder
Single-element folding wrapper
bankcsv
Tool that I use to convert the CSV from banks to gnucash3-compatible transaction CSV
bugnoulli
Calculate bug probability and confidence on resolution by modelling it as a Bernoulli process
busyna
BUild SYstems Never Alone - an alternative to crafting build system configuration by hand
cargo-readme
Generate README.md from docstrings
charooto
Disorganized helper scripts for chroot and bootable system manipulation
codingame-haskell-solutions
lpenz haskell solutions for www.codingame.com
codingame-the-fall
Solution for codingame's The Fall in rust
codingame-the-labyrinth
Solution for codingame's The Labyrinth in rust
copstr
COPy STRing module using rust const generic for capacity
counshell
Emacs Ivy UI for shell commands with grep-like output
cv
Curriculum Vitae of Leandro Lisboa Penz
debian-ds4drv
Debian package for ds4drv
disk-img-tool
Resize, list/get/put files and shell into raw disk images, including Raspberry Pi OS release
docker-debian-releases
Creates docker images of historic Debian-based distribution releases
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
