-
University of Minho
- Portugal
- https://orcid.org/0009-0005-7335-0989
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
The best way to write secure and reliable applications. Write nothing; deploy nowhere.
Linux CLI tool providing real-time system resource monitoring
Auriga is a minimalist LaTeX beamer presentation theme 📽
Atomic secret provisioning for NixOS based on sops
Moodle - the world's open source learning platform
GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux
A collection of modern/faster/saner alternatives to common unix commands.
Modernity meets insane extensibility. The future of organizing your life in Neovim.
A neovim lua plugin to help easily manage multiple terminal windows
PDF reader for terminal emulators using the Kitty image protocol
A graphical pdf and epub reader that works inside the kitty terminal
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]
a high performance library for building cache simulators
Resize tmux panes and Vim windows with ease
Automatic headphone equalization from frequency responses
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
ChatGPT Neovim Plugin: Effortless Natural Language Generation with OpenAI's ChatGPT API
Apache Pegasus - A horizontally scalable, strongly consistent and high-performance key-value store