pta2002

Developer at Critical TechWorks | Master's in Software Engineering @ UMinho | :heart: Nix | NixVim developer

Critical TechWorksPortugal

Pinned Repositories

nixvim
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
Language:Nix1.9k 13 635295
b2dwm
A window manager with physics!
Language:C24 1 10
bfgame
A brainfuck game engine. Yes, seriously.
Language:Python3 3 00
build-ts-grammar.nix
Nix flake to easily compile custom tree-sitter grammars
Language:Nix4 2 01
gleam-filespy
Get notified of filesystem changes in Gleam
Language:Gleam10 2 32
gleam-radiate
Hot code reloading for Gleam
Language:Gleam44 3 32
intellitab.nvim
A neovim plugin to only press tab once
Language:Lua5 2 32
nixos-config
My NixOS flake-based config
Language:Nix5 2 00
typst-timeliney
Create Gantt charts in Typst
Language:Typst34 3 63

pta2002's Repositories

pta2002/b2dwm
A window manager with physics!
Language:C24 1 10
pta2002/feedbiny
A feedbin fork for painless self-hosting.
Language:Ruby2 2 00
pta2002/okshop
A django-based webstore using the OKCash cryptocurrency (abandoned, DO NOT USE)
Language:JavaScript2 3 02
pta2002/control.lua
A simple control library for the löve framework
Language:Lua1 2 0
pta2002/gitprompt
a simple, fast git prompt written in C
Language:C1 3 02
pta2002/trabalho-poo
Trabalho de Programação Orientada aos Objetos
Language:Java1 2 0
pta2002/valid.lua
A simple library for input validation in lua
Language:Lua1 2 0
pta2002/dotfiles.nix
My dotfiles, for NixOS
Language:Nix0 2 00
pta2002/advent-of-code-2019
Language:Haskell
pta2002/advent-of-code-2021
Language:Haskell2 0
pta2002/adventofcode-2020
Language:Rust2 0
pta2002/afetch
Simple system info written in C
Language:C1 0
pta2002/commander.lua
simple command line parsing for lua
Language:Lua2 0
pta2002/crypter
A simple command line tool to encrypt and decrypt a directory
Language:Python2 0
pta2002/dotfiles
Dotfiles
Language:Lua3 0
pta2002/esp-rgb
An ESP8266-based RGB strip controller
2 0
pta2002/feedbin
An up-to-date feedbin container for self hosting
Language:Ruby2 0
pta2002/hotas
A simple control panel for MSFS, built with an ESP32 and an OLED
Language:C++2 0
pta2002/li1
Trabalho de LI1 (2019)
Language:Haskell2 0
pta2002/LI4
Projeto de LI4 2021/22.
Language:TypeScript1 0
pta2002/minijam57
Language:Lua2 0
pta2002/nixos-flake
My NixOS config, this time using flakes
Language:Nix2 0
pta2002/nvim-config
Language:Fennel2 0
pta2002/o-game
A tiny game made in a day for Ludum Dare 38
Language:Lua
pta2002/paib2-ld-plugins
Language:JavaScript2 0
pta2002/Rocket.Chat
The ultimate Free Open Source Solution for team communications.
Language:JavaScript1 0
pta2002/solo-hw-wallet
Custom firmware for the Solo U2F key that turns it into a hardware cryptocurrency wallet
Language:C++2 0
pta2002/todo
Aplicação de TODO para o Caos
Language:Ruby2 0
pta2002/tuners
A command line instrument tuner written in rust
Language:Rust2 0
pta2002/wakeonlan
An ESP32-based Wake on LAN replacement for computers without it
Language:Nix2 0