Leonardo Lima's starred repositories
react-draggable
React draggable component
marp-vscode
Marp for VS Code: Create slide deck written in Marp Markdown on VS Code
org-journal
A simple org-mode based journaling mode
emacs-calfw
A calendar framework for Emacs
querido-diario
đź“° Diários oficiais brasileiros acessĂveis a todos | đź“° Brazilian government gazettes, accessible to everyone.
judge-server
Judging backend server for the DMOJ online judge.
automated-irrigation-system
This is the software of an open source automated irrigation system. The complete setup including hardware can be found in the README.
svg-tag-mode
A minor mode for Emacs that replace keywords with nice SVG labels
practical-fm
A gently curated list of companies using verification formal methods in industry
Game-Boy-DMG-Color
An original Game Boy outfitted with Game Boy Color support and other modern features
mui-nested-menu
The package lets you nested menu items infinitely deep.
gb-hardware-db
Game Boy hardware database
multicoretests
PBT testsuite and libraries for testing multicore OCaml
memtrace_viewer
Interactive memory profiler based on Memtrace
cloc-emacs
count lines of code over emacs buffers