The Python client and Jupyter helper for CozoDB

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Train your AI self, amplify you, bridge the world

Resources for writing modern Java

Binary Analysis Framework in Rust

copy & paste-friendly golang crypto

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Main source code repository of the Tamarin prover for security protocol verification.

dynamic binary analysis via platform emulation

concise struct packing

A word fuzzy completion plugin for vim.

Best theme for Pelican Static Blog Generator

Customizable window manager for emacs

A package management tool for Emacs, built on Cask.

Python auto-completion for Emacs