An open source script tests VPN connection for DNS Leak.

📝 A curated list of awesome Raspberry Pi tools, projects, images and resources

Manipulate the system (clip)board with (e)macs from a (tty)

Emacs package that displays available keybindings in popup

Measure branching along code paths

make Emacs bindings that stick around

underscore -> UPCASE -> CamelCase conversion of names

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Docker Compose setup for quickly writing apps with the Lumen Framework

A curated list of Microservice Architecture related principles and technologies.

A standard library for microservices.

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Context sensitive completion for OCaml in Vim and Emacs

Dependency injection framework for Python 3.6

Validate your forms, frontend, without writing a single line of javascript

🗂 The perfect Front-End Checklist for modern websites and meticulous developers

A tiling terminal emulator for Linux using GTK+ 3

An HTML5 saveAs() FileSaver implementation

web template editing mode for emacs

Awesome Django authorization, without the database

Use SQL to query Elasticsearch

Bear is a tool that generates a compilation database for clang tooling.

A C++, header-only library for constructing JSON and JSON-like data formats, with JSON Pointer, JSON Patch, JSON Schema, JSONPath, JMESPath, CSV, MessagePack, CBOR, BSON, UBJSON, toon-format

Java Docker API Client

Using Gradle to build Python projects

LLVM DSA fork for SeaHorn

Recaffeinating Java ☕️ with custom semantics and extensions

Tools to work with android .dex and java .class files

A tool for analyzing LLVM bitcode using Datalog.