Samvid Dharanikota (samvid25)

samvid25

Geek Repo

Company:@CertiKProject

Location:Pittsburgh, PA, USA

Home Page:https://samvid.me/

Twitter:@samvid25

Github PK Tool:Github PK Tool


Organizations
ACM-NITK
mozillacampusclubs

Samvid Dharanikota's starred repositories

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

ohmyzsh

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.

nerd-fonts

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

Language:CSSLicense:NOASSERTIONStargazers:53761Issues:390Issues:987

joplin

Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

Language:TypeScriptLicense:NOASSERTIONStargazers:45044Issues:483Issues:6493

trilium

Build your personal knowledge base with Trilium Notes

Language:JavaScriptLicense:AGPL-3.0Stargazers:26779Issues:275Issues:3471

functional-programming-jargon

Jargon from the functional programming world in simple terms!

Resources-for-Beginner-Bug-Bounty-Hunters

A list of resources for those interested in getting started in bug bounties

TiddlyWiki5

A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.

Language:JavaScriptLicense:NOASSERTIONStargazers:7808Issues:235Issues:3682

Beginner-Network-Pentesting

Notes for Beginner Network Pentesting Course

awesome-web-hacking

A list of web application security

checkedc

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

Language:CLicense:NOASSERTIONStargazers:3202Issues:106Issues:155

wycheproof

Project Wycheproof tests crypto libraries against known attacks.

Language:JavaLicense:Apache-2.0Stargazers:2698Issues:173Issues:52

uBlock-Origin-dev-filter

Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflow or GitHub.

Language:PythonLicense:UnlicenseStargazers:2230Issues:10Issues:334

PEGTL

Parsing Expression Grammar Template Library

Language:C++License:BSL-1.0Stargazers:1922Issues:65Issues:168

safe-contracts

Safe allows secure management of blockchain assets.

Language:TypeScriptLicense:LGPL-3.0Stargazers:1691Issues:44Issues:272

ion

The Identity Overlay Network (ION) is a DID Method implementation using the Sidetree protocol atop Bitcoin

Language:HTMLLicense:Apache-2.0Stargazers:1227Issues:89Issues:141

paper_collection

Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read

aragonOS

(Aragon 1) Reference implementation for aragonOS: a Solidity framework for building complex dApps and protocols

Language:SolidityLicense:GPL-3.0Stargazers:688Issues:54Issues:227

reach-lang

Reach: The Safest and Smartest DApp Programming Language

Language:HaskellLicense:Apache-2.0Stargazers:585Issues:17Issues:171

Glider

Glider is an opinionated Hacker News client. Ad-free, open-source, no-nonsense.

Language:DartLicense:MITStargazers:515Issues:8Issues:145

boogie

Boogie

Language:BoogieLicense:MITStargazers:502Issues:30Issues:269

VST

Verified Software Toolchain

Language:CoqLicense:NOASSERTIONStargazers:436Issues:23Issues:304

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

SpotiByeAds

Skip spotify ads by automatically restarting application when ad plays

Language:PythonLicense:GPL-3.0Stargazers:285Issues:7Issues:31

liquidity

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

Language:OCamlLicense:GPL-3.0Stargazers:158Issues:17Issues:135

ComputerControl

Computer-Control Programs for Pokémon Automation

lichess-docker

Docker setup for Lichess development

Language:ShellLicense:Apache-2.0Stargazers:30Issues:6Issues:6
Language:JavaScriptLicense:MITStargazers:9Issues:0Issues:0

covid-19

Solutions to help people deal with the novel-coronavirus crisis.

Language:PythonStargazers:5Issues:2Issues:0