opt9

Pinned Repositories

dotfiles
Language:Emacs Lisp2 3 00
ExpnVrfy
SMTP expn vrfy id checker
Language:Perl3 4 00
gitlab-global-code-search
Search through All projects on your own instrance of GitLab
Language:Ruby0 3 01
Hex2Bin
Hex strings to Binary File
2 3 00
Malipvue
Malicious IP Lookup Tools
Language:Shell3 3 00
nikto
Nikto web server scanner
Language:Perl0 3 01
PoCo-IRC-Plugin-Atom-Headlines
POE::Component::IRC::Plugin::Atom::Headlines
Language:Perl3 3 11
Strutshock
Struts2 RCE CVE-2017-5638 non-intrusive check shell script
Language:Shell2 2 01

opt9's Repositories

opt9/aesophia
Stand alone compiler for the Sophia smart contract language
Language:Erlang2 0
opt9/agda
Agda is a dependently typed programming language / interactive theorem prover.
opt9/anchore-engine
A service that analyzes docker images and applies user-defined acceptance policies to allow automated container image validation and certification
Language:Python2 0
opt9/archetype-lang
Language:OCaml2 0
opt9/aws-control-tower-customizations
opt9/awspx
A graph-based tool for visualizing effective access and resource relationships in AWS environments.
Language:Python2 0
opt9/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
Language:Haskell3 0
opt9/cartography
Cartography is a Python tool that consolidates infrastructure assets and the relationships between them in an intuitive graph view powered by a Neo4j database.
Language:Python2 0
opt9/cartography-queries
Utilities for programmatic analysis of Cartography data
Language:Python2 0
opt9/certification-token
Dapp example for certification token
Language:JavaScript2 0
opt9/chainweb-node
Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput
Language:Haskell2 0
opt9/cloud-reports
Scans your AWS cloud resources and generates reports. Check out free hosted version:
Language:TypeScript2 0
opt9/cloudmapper
CloudMapper helps you analyze your Amazon Web Services (AWS) environments.
Language:JavaScript3 0
opt9/codecombat
Game for learning how to code.
Language:CoffeeScript2 0
opt9/coinmarketcap-scraper
Python-based scraper for market cap, supply, exchange price, and exchange volume data from coinmarketcap.com
Language:Python2 0
opt9/cryptocurrency-analysis
Analysis and visualisation of the cryptocurrency market
opt9/cypher-shell
A command line shell where you can execute Cypher against an instance of Neo4j
Language:Java2 0
opt9/drone-trivy
trivy plugin of drone
Language:Dockerfile2 0
opt9/enso
Hybrid textual and visual functional programming.
Language:Scala2 0
opt9/go-filecoin
Filecoin Full Node Implementation in Go
Language:Go2 0
opt9/hammer
Dow Jones Hammer : Protect the cloud with the power of the cloud(AWS)
Language:Python2 0
opt9/HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
Language:Standard ML2 0
opt9/jekyll
:globe_with_meridians: Jekyll is a blog-aware static site generator in Ruby
Language:Ruby2 0
opt9/makam
The Makam Metalanguage
Language:OCaml2 0
opt9/NodeBB
Node.js based forum software built for the modern web
Language:JavaScript3 0
opt9/pact-todomvc
Demo of integrating a JS webapp with the Pact smart contract langauge
opt9/professional-services
Common solutions and tools developed by Google Cloud's Professional Services team
Language:HTML2 0
opt9/searchcode-server
The offical home of searchcode-server where you can run searchcode locally. Note that master is generally unstable in the sense that it is not a release. Check branches for release code.
Language:Java2 0
opt9/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
Language:Haskell1 0
opt9/tezblock
tezblock is a block explorer for Tezos.
Language:TypeScript1 0