![:octocat: :octocat:](https://github.githubassets.com/images/icons/emoji/octocat.png)
Excited about too many things
Research Engineer at @informalsystems working on Quint
- Joinville, SC - Brazil
-
00:20
(UTC -03:00) - @bugarela
- @bugarela@types.pl
Block or Report
Block or report bugarela
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.