Leonardo Lima's starred repositories
react-draggable
React draggable component
magic-trace
magic-trace collects and displays high-resolution traces of what a process is doing
org-journal
A simple org-mode based journaling mode
no-style-please
A (nearly) no-CSS, fast, minimalist Jekyll theme.
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
Hercules
Hercules is a collaborative software development project revolving around the creation of a robust massively multiplayer online role playing game (MMORPG) server package. Written in C, the program is very versatile and provides NPCs, warps and modifications. The project is jointly managed by a group of volunteers located around the world as well as a tremendous community providing QA and support. Hercules is a continuation of the original Athena project.
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.
practical-fm
A gently curated list of companies using verification formal methods in industry
agda-unimath
The agda-unimath library
ppx_expect
Cram like framework for OCaml
mui-nested-menu
The package lets you nested menu items infinitely deep.
proof-demos
Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
multicoretests
PBT testsuite and libraries for testing multicore OCaml
memtrace_viewer_with_deps
Interactive memory profiler based on Memtrace