Skip to content
View ozcodes's full-sized avatar
2 followers · 1 following
  • Certora
  • Israel

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Quickdraw

Block or report ozcodes

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. rhel5-python26 rhel5-python26 Public

    Installing Python 2.6 on RHEL 5

    Shell 1

  2. the-tls-bottle the-tls-bottle Public

    A simple example how to make bottle python work with TLS encryption on ubuntu 16

    Python

  3. remember-the-card remember-the-card Public

    Cards memory game with JS, CSS and HTML

    HTML

  4. jobler jobler Public

    CSS

  5. form-validator form-validator Public

    HTML

  6. solc-bin solc-bin Public

    Forked from ethereum/solc-bin

    This repository contains current and historical builds of the Solidity Compiler.

    JavaScript

989 contributions in the last year

Contribution Graph
Day of Week March April May June July August September October November December January February March
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

Activity overview

Contributed to Certora/safeguard, Certora/Documentation, Certora/certora-solana-platform-tools and 9 other repositories
Loading A graph representing ozcodes's contributions from March 17, 2024 to March 21, 2025. The contributions are 69% commits, 16% pull requests, 15% code review, 0% issues.

Contribution activity

March 2025

Created 3 commits in 1 repository

Created a pull request in Certora/cvlr that received 11 comments

Add format check

Add rust format check.

+23 −6 lines changed • 11 comments
Opened 1 other pull request in 1 repository
Certora/cvlr 1 merged
Reviewed 1 pull request in 1 repository
Certora/safeguard 1 pull request
37 contributions in private repositories Mar 4 – Mar 20
Loading