Popular repositories Loading
-
-
briareus-py
briareus-py PublicGenerate build configurations based on input specification and repository data
-
brick-panes
brick-panes PublicPanes library overlay for Brick library providing composition and isolation for Haskell TUI apps.
353 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
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
Contribution activity
April 2025
Reviewed 7 pull requests in 5 repositories
GaloisInc/parameterized-utils
2 pull requests
-
ci: Use Dependabot for weekly bumps to pinned GitHub Actions
This contribution was made on Apr 16
-
ci: Package workflow into a "reusable workflow"
This contribution was made on Apr 9
GaloisInc/.github
2 pull requests
-
haskell-ci: Various improvements
This contribution was made on Apr 3
-
Create a reusable workflow for a Haskell CI build
This contribution was made on Apr 2
NixOS/nixpkgs
1 pull request
-
theft: fix the static build
This contribution was made on Apr 16
GaloisInc/abcBridge
1 pull request
-
build-abc.sh
: Add AArch64 macOS configurationThis contribution was made on Apr 2
GaloisInc/crucible
1 pull request
-
Remove UC-Crux-LLVM
This contribution was made on Apr 1