amanvir's repositories
cryptowatch
:currency_exchange: API wrapper for crypto currencies
example
innit
bubbletea
A powerful little TUI framework 🏗
mayyvis.com
My personal portfolio website
frap
Formal Reasoning About Programs
policies
A set of shared policies for use with Conftest and other Open Policy Agent tools
bootOS
bootOS is a monolithic operating system in 512 bytes of x86 machine code.
solidity-compiler-check
Check for known compiler issues with solidity code
owasp-fb-react
Presentation at Facebook London for OWASP
gadgetinspector
A byte code analyzer for finding deserialization gadget chains in Java applications
graphql-goat
Vulnerable GraphQL application to learn about GraphQL security
spring18
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018
docs
Documentation of ZEIT Now and other services
vue-enterprise-boilerplate
An ever-evolving, very opinionated architecture and dev environment for new Vue SPA projects using Vue CLI 3.
crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
eslint-plugin-angularjs-security-rules
Rules for detecting security issues in Angular 1.x
AWS-recipes
A number of Recipes for AWS
pronto
⚡ The now.sh experience for databases
enumerator
(WIP) Brute force sub-domains, find all open ports :fire:
hylogen
GLSL embedded in Haskell
metasploit-framework
Metasploit Framework
react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
examples
The repository contains small but practical examples for Iris Web Framework
slack-go-webhook
Go Library to send messages to Slack via Webhooks
security-guide-for-developers
Security Guide for Developers
RxJS
The Reactive Extensions for JavaScript
howler.js
Javascript audio library for the modern web.