wert310

emacs-vimcrypt

VIM encryption for emacs

rustpro

A slow Prolog implementation in Rust

adversarial_neural_crypto

dotfiles

Dotfiles

bmc

BMC-based non-linear horn clauses solver based on z3py

dr_mauro

CT0304 Course Project Template

forth-lisp

A prolog compiler written in lisp, written in forth.

mignis_docker

Afternotes

Afternotes for the attended courses at Ca' Foscari University, master in Data Management and Analytics.

crux-ports

EasyDockerWeb

A simple Web Ui for Docker using xterm.js, Node.js, dockerode and Socket.io

flask-cache

Cache extension for Flask

insekta-vm

insekta-web

matrix-react-sdk

Matrix SDK for React Javascript

pkappa2

Stream analysis tool for Attack & Defense CTF's

raycast

javascript raycast (2015)

table-layout

Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on specific characters and limiting of cell width)..

webspi

Backup of the WebSpi library for ProVerif

wert_dwm

DWM config and patches

wpt

Test suites for Web platform specs — including WHATWG, W3C, and others

z3

The Z3 Theorem Prover