Directory
Published directory entries matching your search.
Basic Pitch is an open source audio-to-MIDI converter from Spotify that features pitch bend detection. It works on recordings of almost any single instrument, including voice, and converts audio files into MIDI files that can be edited in a digital audio workstation. It is available as an online demo.
An interactive tutorial teaching the sequent calculus, a set of rules for showing the truth of statements in first-order logic. It is aimed at people with some software background and basic boolean logic knowledge.
A cloud GPU password recovery and credential auditing service for data the user owns or is authorized to test. It supports Office, ZIP, PDF, Wi-Fi captures, NTLM and AD hashes, with a free Basic Search and optional paid custom GPU jobs and unlocks. An authenticated REST API and MCP tools are documented. Uploaded files are deleted after hash extraction.
Tutorial teaching the main ideas of unsupervised feature learning and deep learning, with implementation of feature learning and deep learning algorithms. It assumes basic machine learning knowledge, including supervised learning, logistic regression and gradient descent, and suggests completing an earlier machine learning course first.
