AU

Aurea

@Aurel300

PhD student in Rust verification. Rust enthusiast, game developer, CTF player and author.

Website

Joined October 2011

120 Followers

20 Following

AI Insights & Achievements

47/ 100

Veteran

Coding for 15 years.

Influencer

120 followers.

Organizations

HA VI AL CR EM FL PR

Public Repos

65

Total Stars

310

Total Forks

40

Public Gists

0

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: January 8th, 2026 • 2 contributions

Most active week: Nov 17–Nov 23 • 5 contributions

Most active month: Mar 2025 • 39 contributions

Pushed to feature/trait-specs at Aurel300/prusti-dev

February 2nd, 2026 2:55 PM

Pushed to feature/trait-specs at Aurel300/prusti-dev

February 2nd, 2026 12:22 PM

Pushed to feature/trait-specs at Aurel300/prusti-dev

February 2nd, 2026 11:58 AM

Pushed to feature/trait-specs at Aurel300/prusti-dev

January 30th, 2026 1:52 PM

PullRequestReviewCommentEvent on Aurel300/prusti-dev

January 30th, 2026 12:31 PM

PullRequestReviewEvent on Aurel300/prusti-dev

January 30th, 2026 12:31 PM

Pushed to feature/trait-specs at Aurel300/prusti-dev

January 30th, 2026 12:29 PM

Pushed to feature/trait-specs at Aurel300/prusti-dev

January 30th, 2026 10:59 AM

PullRequestReviewEvent on Aurel300/prusti-dev

January 29th, 2026 6:32 PM

PullRequestReviewCommentEvent on Aurel300/prusti-dev

January 29th, 2026 6:32 PM

GitHub Analytics

Aurea

Veteran

Influencer