Karan Agrawal (Karan9034)

Karan9034

Geek Repo

Company:NIT Rourkela

Location:Rajnandgaon, Chhattisgarh

Home Page:https://karanel.tech

Twitter:@_karanel

Github PK Tool:Github PK Tool


Organizations
CYBORG-NIT-ROURKELA

Karan Agrawal's starred repositories

plane

🔥 🔥 🔥 Open Source JIRA, Linear and Asana Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.

Language:TypeScriptLicense:AGPL-3.0Stargazers:25956Issues:104Issues:843

cloc

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

Language:PerlLicense:GPL-2.0Stargazers:18908Issues:214Issues:658

EIPs

The Ethereum Improvement Proposal repository

Language:PythonLicense:CC0-1.0Stargazers:12721Issues:959Issues:1001

chainlink

node of the decentralized oracle network, bridging on and off-chain computation

node-slack-sdk

Slack Developer Kit for Node.js

Language:TypeScriptLicense:MITStargazers:3262Issues:123Issues:888

echidna

Ethereum smart contract fuzzer

Language:SolidityLicense:AGPL-3.0Stargazers:2640Issues:60Issues:573

solady

Optimized Solidity snippets.

Language:SolidityLicense:MITStargazers:2291Issues:35Issues:129

weird-erc20

weird erc20 tokens

reentrancy-attacks

A chronological and (hopefully) complete list of reentrancy attacks to date.

mev-research

Project management for MEV Research

aave-v3-core

This repository contains the core smart contracts of the Aave V3 protocol.

Language:TypeScriptLicense:NOASSERTIONStargazers:803Issues:34Issues:400

tss-lib

Threshold Signature Scheme, for ECDSA and EDDSA

Language:GoLicense:MITStargazers:748Issues:33Issues:138

halmos

A symbolic testing tool for EVM smart contracts

Language:PythonLicense:AGPL-3.0Stargazers:731Issues:10Issues:99

permit2

🔑🔑🔑 next generation token approvals mechanism

Language:SolidityLicense:MITStargazers:706Issues:19Issues:80

4naly3er

Static smart contract code 4naly3er

Language:TypeScriptLicense:GPL-3.0Stargazers:492Issues:10Issues:15

defi-minimal

This repo is dedicated to making minimal repos of existing defi primatives.

Language:JavaScriptLicense:MITStargazers:461Issues:18Issues:5

murky

Merkle Proof Generator and Validator in Solidity

Language:SolidityLicense:MITStargazers:368Issues:3Issues:6

ERCs

The Ethereum Request for Comment repository

Language:SolidityLicense:CC0-1.0Stargazers:272Issues:18Issues:16

properties

Pre-built security properties for common Ethereum operations

Language:SolidityLicense:AGPL-3.0Stargazers:260Issues:8Issues:25

sc-exploits-minimized

A repo to showcase web3 hacks

foundry-zksync

Fork of Foundry tailored for zkSync environment

Language:RustLicense:Apache-2.0Stargazers:247Issues:13Issues:181

headers

Generate perfect code headers every time.

Language:RustLicense:Apache-2.0Stargazers:113Issues:8Issues:0

ctf-2024

⚡️ Ethernaut CTF 2024 Challenges & Solutions

RIPs

The Ethereum Rollup Improvement Proposal repository

verifications

📜 "Coinbase Verifications" is a set of Coinbase-verified onchain attestations that enable access to apps and other onchain benefits.

Language:SolidityLicense:MITStargazers:68Issues:6Issues:1

scribe

Extremely performant EVM oracle utilizing aggregated Schnorr signatures

Language:SolidityLicense:NOASSERTIONStargazers:44Issues:7Issues:5

chimera

Smart Contract Property-Based Testing Framework

Language:SolidityStargazers:42Issues:1Issues:0