silky/raplysaattori
Raplysaattori is a software used to detect rhymes and compute their lengths from English / Finnish rap lyrics.
A Random Monad that allows the generator to fail cleanly
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
SWI-Prolog for SHaring: a SWI-Prolog web IDE