Pinned Loading
-
secure-foundations/vest
secure-foundations/vest PublicHigh-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus
-
-
-
hindley-milner-equiRec
hindley-milner-equiRec PublicA Hindley Milner based type inference system with equi-recursive types
Python
-
498 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
secure-foundations/vest,
verus-lang/verus,
verus-lang/verusfmt
and 1 other
repository
Loading
Contribution activity
March 2025
Created 8 commits in 1 repository
Opened 1 pull request in 1 repository
secure-foundations/vest
1
merged
-
New
IsoFn
andPartialIsoFn
traits and blanket implsThis contribution was made on Mar 2