Search:
Search Results
sci-mathematics/tlc4b
Model-check classical B specifications by translating them to TLA+
dev-python/yaspin
Yet Another Terminal Spinner
dev-python/burner-redis
An embedded, in-process Redis-compatible database
app-text/nnote
A plain, file-based note-taking CLI
llvm-runtimes/libclc
OpenCL C library
dev-python/etoolkit
A simple toolkit for setting environment variables in a flexible way
dev-python/pyotp2289
A pure Python 3 implementation of RFC-2289 - 'A One-Time Password System'
x11-misc/i3lock-extended
i3lock-extended - i3lock fork with additional functionality
dev-python/delfino-core
Delfino core plugin [top-max 10.0.1]