samvid25

TiddlyWiki5

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

Glider

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

boogie

Boogie

VST

Verified Software Toolchain

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

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.

aragonOS

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

ComputerControl

Computer-Control Programs for Pokémon Automation

research

Research at Protocol Labs

lichess-docker

Docker setup for Lichess development

joplin

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

trilium

Build your personal knowledge base with Trilium Notes

SpotiByeAds

Skip spotify ads by automatically restarting application when ad plays

checkedc

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.

PEGTL

Parsing Expression Grammar Template Library

wycheproof

Project Wycheproof tests crypto libraries against known attacks.

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

paper_collection

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

smart-contracts

ohmyzsh

🙃 A delightful community-driven (with 2,400+ 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.

Resources-for-Beginner-Bug-Bounty-Hunters

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

awesome-web-hacking

A list of web application security

covid-19

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

ion

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

Beginner-Network-Pentesting

Notes for Beginner Network Pentesting Course

functional-programming-jargon

Jargon from the functional programming world in simple terms!

safe-smart-account

Safe allows secure management of blockchain assets.

reach-lang

Reach: The Safest and Smartest DApp Programming Language

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

liquidity

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