Ph.D. student in Computer Science. Love to develop tools to assist developers, and web development.
Pinned Loading
-
java-typestate-checker
java-typestate-checker PublicJaTyC: a typestate checker for Java
-
typestate-editor/typestate-editor.github.io
typestate-editor/typestate-editor.github.io PublicTypeScript
-
quasejs
quasejs PublicA several years-old personal project to build better tools for developers.
TypeScript
40 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
jdmota/quasejs,
jdmota/jdmota.github.io,
jdmota/java-typestate-checker
and 1 other
repository
Loading
Contribution activity
April 2025
jdmota has no activity
yet for this period.