-
INESC-ID & IST, U. Lisboa
- https://www.dpss.inesc-id.pt/~joaogoncalves/
- https://orcid.org/0000-0002-0131-1324
Highlights
- Pro
Starred repositories
garbage-collecting on-disk object store, supporting higher level KV stores and databases.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
AeroSpace is an i3-like tiling window manager for macOS
PyPy is a very fast and compliant implementation of the Python language.
libdebug is a python library to automate the debugging of a binary executable.
Fast, Scalable, Flexible Static Site Generator (SSG)
Borgo is a statically typed language that compiles to Go.
MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.
Neovim file explorer: edit your filesystem like a buffer
Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
JAW: A Graph-based Security Analysis Framework for Client-side JavaScript
Aplicação alternativa para o sistema de bicicletas partilhadas de Lisboa
Master programming by recreating your favorite technologies from scratch.
Automated static analysis tools for binary programs
A template for Advent of Code participants using Zig
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Buffer, mark, tabpage, colorscheme switcher for Neovim
An Nvim lua plugin that dims your inactive windows