UN

unsoundsystem

@unsoundsystem

Interested in Systems software and their formal verification

Japan

Website

Joined July 2018

16 Followers

52 Following

AI Insights & Achievements

23/ 100

Veteran

Coding for 8 years.

Public Repos

29

Total Stars

4

Total Forks

1

Public Gists

5

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

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

Most active month: Mar 2025 • 2 contributions

Starred Linyxus/semantic

January 23rd, 2026 8:50 AM

Starred dwrensha/seer

January 23rd, 2026 8:30 AM

Starred Certora/CertoraProver

January 23rd, 2026 7:39 AM

Starred GillianPlatform/Gillian

January 23rd, 2026 6:20 AM

Starred loony-bean/textplots-rs

January 23rd, 2026 3:04 AM

Starred CMU-HoTT/scott

January 22nd, 2026 11:48 AM

Pushed to master at unsoundsystem/rlsf-verified

January 22nd, 2026 10:25 AM

Pushed to master at unsoundsystem/rlsf-verified

January 22nd, 2026 9:56 AM

Pushed to master at unsoundsystem/rlsf-verified

January 22nd, 2026 2:18 AM

Starred folke/lazy.nvim

January 22nd, 2026 1:56 AM

GitHub Analytics

unsoundsystem

Veteran