Pinned Repositories
actorflasks
Implementation of the KV distributed store DataFlasks using Scala with Akka (deprecated).
blunder-years
All those pesky university projects, contained in the same place.
compprog
Solutions for competitive programming exercises
coq_nvim
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
dc-ld-benchmarks
dotfiles
Dotfiles management repo.
ergodox
Ergodox layout that I use daily for both MacOS and Linux
example-site-boilerplate
ssh-to-prom
Track failed ssh access attempts and expose them as prometheus metrics
vortex-pok3r-layout
A MacOS layout for the Vortex POK3R mechanical keyboard.
paulo's Repositories
paulo/ergodox
Ergodox layout that I use daily for both MacOS and Linux
paulo/vortex-pok3r-layout
A MacOS layout for the Vortex POK3R mechanical keyboard.
paulo/ssh-to-prom
Track failed ssh access attempts and expose them as prometheus metrics
paulo/actorflasks
Implementation of the KV distributed store DataFlasks using Scala with Akka (deprecated).
paulo/blunder-years
All those pesky university projects, contained in the same place.
paulo/compprog
Solutions for competitive programming exercises
paulo/coq_nvim
Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
paulo/dc-ld-benchmarks
paulo/dotfiles
Dotfiles management repo.
paulo/example-site-boilerplate
paulo/go-server-sdk
paulo/hook-site
paulo/gastby-starter-blog
paulo/hugo-quickstart
paulo/next-netlify-starter
paulo/nextjs-blog-theme
paulo/nextjs-blog-theme-2
paulo/one-click-hugo
paulo/one-click-hugo-cms
paulo/openwhisk
Apache OpenWhisk is a serverless event-based programming service and an Apache Incubator project
paulo/remix-edge-template
Deploy your Remix site to Netlify Edge Functions
paulo/ruby-server-sdk