AO

wenlong

focus in verification of real time embedded control system using static analysis, theorem proving

Joined October 2013

45 Followers

616 Following

AI Insights & Achievements

20/ 100

Coding for 13 years.

Public Repos

170

Total Stars

18

Total Forks

13

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 11th, 2026 • 0 contributions

Most active week: Nov 24–Nov 30 • 0 contributions

Most active month: Apr 2025 • 1 contributions

February 5th, 2026 7:38 AM

January 29th, 2026 4:18 AM

January 28th, 2026 5:32 AM

January 28th, 2026 5:31 AM

January 28th, 2026 5:20 AM

January 25th, 2026 9:21 AM

January 19th, 2026 6:17 AM

GitHub Analytics