Will Thomas
@durbatuluk1701
Joined on 13 July 2019
Formal Methods and Computer Science PhD Student at University of Kansas
GitHub Stats
3
Followers
87
Repositories
0
Organizations
1
Gists
222
Pull Requests
108
Issues
810
Commits
0
Sponsors
38
Contributed To
1
Star Earned
Most Used Languages
55.47%
Rocq Prover
21.64%
OCaml
12.99%
Python
3.62%
Raku
2.58%
Perl
1.59%
Dune
1.32%
Makefile
0.61%
Shell
Popular Projects
markdown_monolith
An OCaml library and CLI tool to produce a single monolithic Markdown file by parsing with Cmarkit, detecting navigational TOC-like link lists, and recursively inlining referenced files.
OCaml
1
0
0
0
advent_of_fpga
No description
OCaml
0
0
0
0
attestation_maxims
Modeling the Attestation Maxims and Paper related to them
Rocq Prover
0
0
0
0
scripts
Various scripts I want to have available to just pull and use
Shell
0
0
0
2
fantasy_stats
No description
Python
0
0
0
0
module_bug
No description
Dune
0
0
0
0
Top Contributions
Top contributions made by the user in the last year.
Charts
Follow Up
Activity Graph
Contributions Calendar
Contributions made by the user in the last 365 days.
Recent Activity
2/24/2026, 3:32:51 AM
2/24/2026, 12:49:59 AM
2/20/2026, 10:48:32 PM
2/20/2026, 10:36:27 AM
4/20/2025, 12:46:45 AM
2/18/2026, 3:27:58 AM
2/18/2026, 3:20:30 AM
2/18/2026, 1:43:46 AM
2/17/2026, 10:05:16 AM
2/17/2026, 4:59:46 AM
2/16/2026, 11:41:04 PM
2/16/2026, 1:53:51 AM
2/16/2026, 1:53:43 AM
2/16/2026, 1:53:41 AM