Name: Pedro Alves
Type: User
Company: Critical TechWorks
Bio: Developer at Critical TechWorks | Master's in Software Engineering @ UMinho | :heart: Nix | NixVim developer
Location: Portugal
I'm Pedro, aka pta2002. I'm currently doing a masters in Computer Engineering at UMinho.
For the past few years, I've gotten deep into the Nix/NixOS ecosystem, and as such have started a few projects revolving around it, notably NixVim, which is actively getting contributions from several other people.
If you want to contact me, the best way is to send me an email: [email protected]
advent-of-code-2019
advent-of-code-2021
advent-of-code-2023
Advent of Code 2023 solutions
adventofcode-2020
afetch
Simple system info written in C
aoc-2022
Advent of code 2022
asteroids-phone
Asteroids phone number input
b2dwm
A window manager with physics!
bfgame
A brainfuck game engine. Yes, seriously.
build-ts-grammar.nix
Nix flake to easily compile custom tree-sitter grammars
catmessenger
commander.lua
simple command line parsing for lua
control.lua
A simple control library for the löve framework
crypter
A simple command line tool to encrypt and decrypt a directory
django-blog
Running on pta2002.com
django-pastes
dotfiles
Dotfiles
dotfiles.nix
My dotfiles, for NixOS
esp-rgb
An ESP8266-based RGB strip controller
eww-scripts
Scripts I wrote for eww
fava
Fava - web interface for Beancount
feedbin
An up-to-date feedbin container for self hosting
feedbiny
A feedbin fork for painless self-hosting.
gitprompt
a simple, fast git prompt written in C
gleam-filespy
Get notified of filesystem changes in Gleam
gleam-radiate
Hot code reloading for Gleam
home-automation
My own home automation code
hotas
A simple control panel for MSFS, built with an ESP32 and an OLED
intellitab.nvim
A neovim plugin to only press tab once
istolethis
1hgj100
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.
