Pinned Repositories
dotfiles
ExpnVrfy
SMTP expn vrfy id checker
gitlab-global-code-search
Search through All projects on your own instrance of GitLab
Hex2Bin
Hex strings to Binary File
Malipvue
Malicious IP Lookup Tools
nikto
Nikto web server scanner
PoCo-IRC-Plugin-Atom-Headlines
POE::Component::IRC::Plugin::Atom::Headlines
Strutshock
Struts2 RCE CVE-2017-5638 non-intrusive check shell script
opt9's Repositories
opt9/atom
:atom: The hackable text editor
opt9/aws-cdk
The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
opt9/bento
Free program analysis focused on bugs that matter to you. 🍱
opt9/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
opt9/devdocs-desktop
🗂 A full-featured desktop app for DevDocs.io.
opt9/docusaurus
Easy to maintain open source documentation websites.
opt9/elmish
Elm-like abstractions for F# apps
opt9/feathers
A framework for real-time applications and REST APIs with JavaScript and TypeScript
opt9/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
opt9/GoodbyeDPI
GoodbyeDPI—Passive Deep Packet Inspection blocker and Active DPI circumvention utility (for Windows)
opt9/gridsome
⚡️Build lightning fast websites and apps with Vue.js
opt9/HaskellSpriteKit
Haskell binding to Apple's SpriteKit framework
opt9/janet
A dynamic language and bytecode vm
opt9/jsii
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
opt9/neovis.js
Neo4j + vis.js = neovis.js. Graph visualizations in the browser with data from Neo4j.
opt9/ql
The standard QL libraries and queries that power LGTM.com and other Semmle Products
opt9/relude
FP-inspired prelude for ReasonML projects
opt9/remark
Markdown processor powered by plugins part of the @unifiedjs collective
opt9/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
opt9/rot.js
ROguelike Toolkit
opt9/sandbox
An online Tau Prolog sandbox
opt9/savant-ide
A browser-based Scilla IDE.
opt9/scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
opt9/shen-sources
The Official Shen Sources
opt9/sketch-sh
Sketch.sh - Online Code Editor and ReasonML community
opt9/tau-prolog
An open source Prolog interpreter in JavaScript
opt9/the-power-of-prolog
Introduction to modern Prolog
opt9/theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
opt9/trivy
A Simple and Comprehensive Vulnerability Scanner for Containers, Suitable for CI
opt9/vue-spotify
Spotify client built with vue.js / vuex