Loading...
Loading...
Coding for 13 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to main at secure-compilation/SpecIBT
February 3rd, 2026 10:49 AM
Pushed to master at catalin-hritcu/catalin-hritcu.github.io
February 3rd, 2026 10:49 AM
Pushed to master at catalin-hritcu/catalin-hritcu.github.io
February 3rd, 2026 10:46 AM
PublicEvent on secure-compilation/SpecIBT
July 1st, 2025 12:54 PM
Pushed to master at catalin-hritcu/catalin-hritcu.github.io
January 29th, 2026 9:36 AM
Pushed to master at catalin-hritcu/catalin-hritcu.github.io
January 21st, 2026 8:14 PM
merged pull request in rocq-prover/rocq-prover.org
January 19th, 2026 1:11 PM
PullRequestReviewEvent on rocq-prover/rocq-prover.org
January 19th, 2026 11:19 AM
PullRequestReviewCommentEvent on rocq-prover/rocq-prover.org
January 19th, 2026 11:19 AM
Pushed to courses-rub at catalin-hritcu/rocq-prover.org
January 19th, 2026 11:18 AM