Skip to content
View xrchz's full-sized avatar
138 followers · 4 following

Sponsoring

@zulip

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Public SponsorAchievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: Public SponsorAchievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@CakeML @HOL-Theorem-Prover @verifereum

Block or report xrchz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. music Public

    original compositions

    LilyPond 4 1

  2. CakeML/cakeml Public

    CakeML: A Verified Implementation of ML

    Standard ML 1.2k 99

  3. bluff Public

    online games

    JavaScript 2 1

  4. verifereum/verifereum Public

    Prove functional correctness of Ethereum smart contracts in higher-order logic

    Standard ML 51 10

  5. verifereum/vyper-hol Public

    Formal specification and verification of Vyper

    Standard ML 36 8

  6. rocketlend/frontend Public

    TypeScript

2,830 contributions in the last year

Skip to contributions year list
Contribution Graph
Day of Week August September October November December January February March April May June July
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
  1. 2026
  2. 2025
  3. 2024
  4. 2023
  5. 2022
  6. 2021
  7. 2020
  8. 2019
  9. 2018
  10. 2017
  11. 2016
  12. 2015
  13. 2014
  14. 2013
  15. 2012
  16. 2011
  17. 2010

Contribution activity

August 2026

Created 8 commits in 3 repositories
Opened 3 pull requests in 1 repository
verifereum/vyper-hol 2 open 1 merged

Created an issue in verifereum/vyper-hol that received 1 comment

Preserve abi_encode result type separately from argument tuple type

Problem The JSON frontend currently discards the compiler-provided result type of an abi_encode call. Vyper JSON provides both: the call result ty…

1 comment
Opened 2 other issues in 2 repositories
Loading