FE

Frantisek Silvasi

@Ferinko

Formal verification engineer. PhD. in formal software verification / formalization of mathematics.

Joined July 2017

12 Followers

0 Following

AI Insights & Achievements

12/ 100

Veteran

Coding for 9 years.

Public Repos

8

Total Stars

11

Total Forks

0

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 28th, 2026 • 12 contributions

Most active week: Jan 26–Feb 1 • 16 contributions

Most active month: Jun 2025 • 81 contributions

Pushed to Ferinko/fixCompile at Clap-lang/clap-lean

February 4th, 2026 7:30 PM

Pushed to Ferinko/fixCompile at Clap-lang/clap-lean

February 4th, 2026 7:05 PM

Pushed to Ferinko/fixCompile at Clap-lang/clap-lean

February 4th, 2026 12:49 PM

Created branch Ferinko/fixCompile in Clap-lang/clap-lean

February 3rd, 2026 8:10 PM

Pushed to Ferinko/generaliseUnfolder at Clap-lang/clap-lean

February 2nd, 2026 9:06 PM

Created branch Ferinko/generaliseUnfolder in Clap-lang/clap-lean

February 2nd, 2026 7:34 PM

Pushed to Ferinko/serialiser at Clap-lang/clap-lean

January 30th, 2026 6:42 PM

Pushed to Ferinko/serialiser at Clap-lang/clap-lean

January 30th, 2026 6:35 PM

Pushed to Ferinko/serialiser at Clap-lang/clap-lean

January 30th, 2026 5:55 PM

Pushed to Ferinko/serialiser at Clap-lang/clap-lean

January 30th, 2026 5:45 PM

GitHub Analytics

Frantisek Silvasi

Veteran