silky/raplysaattori
Raplysaattori is a software used to detect rhymes and compute their lengths from English / Finnish rap lyrics.
SWI-Prolog for SHaring: a SWI-Prolog web IDE
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Raplysaattori is a software used to detect rhymes and compute their lengths from English / Finnish rap lyrics.
Composable, streaming, and efficient left folds
An proof refinement logic for computational type theory based on Brouwer-realizability & the verificationist meaning explanation. Inspired by Nuprl
Experiments on the construction of functions