Skip to content
View rejwar's full-sized avatar
🎯
Focusing
🎯
Focusing
486 followers · 2k following

Highlights

Block or report rejwar

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

  • coq-of-rust Public

    Forked from formal-land/coq-of-rust

    Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

    Coq GNU Affero General Public License v3.0 Updated Mar 7, 2025

  • ActionScript Public

    ActionScript Mozilla Public License 2.0 Updated Mar 6, 2025

  • Prolog Public

    Prolog Mozilla Public License 2.0 Updated Mar 5, 2025

  • Malbolge Public

    The Unlicense Updated Mar 5, 2025

  • Delphi Public

    Pascal GNU Lesser General Public License v2.1 Updated Mar 4, 2025

  • Lisp Public

    Common Lisp GNU Affero General Public License v3.0 Updated Mar 4, 2025

  • VisualBasic Public

    Visual Basic .NET Eclipse Public License 2.0 Updated Mar 4, 2025

  • Ruby Public

    Ruby Creative Commons Zero v1.0 Universal Updated Mar 4, 2025

  • Fortran Public

    Fortran Boost Software License 1.0 Updated Mar 4, 2025

  • Objective-C Public

    Objective-C BSD 3-Clause "New" or "Revised" License Updated Mar 4, 2025

  • Perl Public

    Perl BSD 2-Clause "Simplified" License Updated Mar 4, 2025

  • Pascal Public

    Pascal GNU General Public License v3.0 Updated Mar 4, 2025

  • Cobol Public

    COBOL Apache License 2.0 Updated Mar 4, 2025

  • Solidity Public

    Solidity Updated Mar 2, 2025

  • C Public

    C 1 Updated Feb 28, 2025

  • Assembly Public

    This repo is my life story

    Assembly Updated Feb 26, 2025

  • publications2 Public

    Forked from runtimeverification/publications

    Publications of Runtime Verification, Inc.

    HTML Updated Feb 26, 2025

  • ape Public

    Forked from ApeWorX/ape

    The smart contract development tool for Pythonistas, Data Scientists, and Security Professionals

    Python Apache License 2.0 Updated Feb 25, 2025

  • evm-fuzzing-resources Public

    Forked from perimetersec/evm-fuzzing-resources

    A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).

    Updated Feb 25, 2025

  • rejwar Public

    1 Updated Feb 25, 2025

  • cyfrin-audit-reports Public

    Forked from Cyfrin/cyfrin-audit-reports

    A list of public audit reports conducted by the Cyfrin team

    Updated Feb 25, 2025

  • Huff Public

    Apache License 2.0 Updated Feb 23, 2025

  • moccasin Public

    Forked from Cyfrin/moccasin

    Titanoboa-based vyper smart contract development framework

    Python Apache License 2.0 Updated Feb 22, 2025

  • halmos Public

    Forked from a16z/halmos

    A symbolic testing tool for EVM smart contracts

    Python GNU Affero General Public License v3.0 Updated Feb 21, 2025

  • titanoboa Public

    Forked from vyperlang/titanoboa

    a vyper interpreter

    Python Other Updated Feb 21, 2025

  • foundry Public

    Forked from foundry-rs/foundry

    Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

    Rust Apache License 2.0 Updated Feb 18, 2025

  • ReactByFreeCodecamp Public

    Updated Feb 14, 2025

  • Python Public template

    Python 1 Updated Feb 12, 2025

  • Hardhat Public

    MIT License Updated Feb 10, 2025

  • book Public

    Forked from foundry-rs/book

    A book on all things Foundry, available at https://book.getfoundry.sh.

    Rust Apache License 2.0 Updated Feb 9, 2025