pta2002

followers

following

stars

Critical TechWorks

Portugal

https://www.pedroalves.pt

Pedro Alves's repositories

typst-timeliney

Create Gantt charts in Typst

Language:TypstMIT19 3 4

gleam-radiate

Hot code reloading for Gleam

Language:GleamApache-2.017 3 2

gleam-filespy

Get notified of filesystem changes in Gleam

Language:GleamApache-2.08 2 3

intellitab.nvim

A neovim plugin to only press tab once

Language:LuaMIT6 2 3

build-ts-grammar.nix

Nix flake to easily compile custom tree-sitter grammars

Language:Nix4 20

nixos-config

My NixOS flake-based config

Language:Nix4 20

sccalc

Calculadora para SC

Language:NixMIT2 10

nixdocs

Nix module documentation generator

Language:Astro1 20

raytracer

Language:C++1 20

dotfiles.nix

My dotfiles, for NixOS

Language:Nix020

rasbet

Language:Elixir020

advent-of-code-2021

Language:HaskellMIT020

advent-of-code-2023

Advent of Code 2023 solutions

Language:GleamUnlicense020

aoc-2022

Advent of code 2022

Language:Haskell020

dotfiles

Dotfiles

Language:Lua000

eww-scripts

Scripts I wrote for eww

Language:Rust020

fava

Fava - web interface for Beancount

Language:PythonMIT010

home-automation

My own home automation code

Language:Python020

LeIA

LeIA (Léxico para Inferência Adaptada) é um fork do léxico e ferramenta para análise de sentimentos VADER (Valence Aware Dictionary and sEntiment Reasoner) adaptado para textos em português.

Language:PythonMIT010

LI4

Projeto de LI4 2021/22.

Language:TypeScript010

nixpkgs

Nix Packages collection

Language:NixMIT010

pta2002

000

raspberry-pi-nix

NixOS modules to aid in configuring NixOS for raspberry pi products

Language:NixMIT000

RPCW2022-Teste

ficha-rpcw

Language:JavaScript020

RPCW2023

TPCs RPCW

Language:HTML020

RPCW2023-Teste

Language:JavaScript020

SPLN2223

Language:Python020

tetris-csharp

A tetris implementation made in csharp

Language:C#MIT020

typst-packages

Packages for Typst.

Language:RustApache-2.0010

yarr

yet another rss reader

Language:GoMIT010