Search:
Search Results
net-analyzer/check_mailbox_health
plugin which checks the health of network components and interfaces.
dev-util/reflutter
Flutter apps reverse engineering
net-misc/kerio-control-vpnclient
Kerio VPN Client
dev-db/pgh3
H3 bindings for Postgresql/PostGIS
dev-python/pyrepetierng
A updated python Repetier-Server library based on Mtrabs library
dev-ada/spawn
Simple API to spawn processes
games-rpg/celeste
Narrative-driven, single-player adventure like mom used to make
sci-mathematics/cryptominisat
Advanced SAT solver with C++ and command-line interfaces
games-simulation/snake-game
Play snake in your terminal
app-text/fzy
Fuzzy text selector (interactive grep) for console
dev-ada/VSS
A high level string and text processing library
media-video/popcorntime-bin
BitTorrent client that includes an integrated media player
sci-mathematics/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
dev-python/Pyro5
Distributed object middleware for Python (RPC)
dev-python/keyrings-alt
Alternate keyring implementations
dev-python/stone
The Official Api Spec Language for Dropbox
games-simulation/game-of-life
Game of Life simulation, right in your terminal.
dev-python/pytest-codeblocks
Extract code blocks from markdown
sci-mathematics/cadical
Simplified Satisfiability Solver
sci-mathematics/smtinterpol
Interpolating SMT-solver computing Craig interpolants for various theories
acct-user/icingadirector
Icinga Director User
net-analyzer/check_poe_consumption_snmp
Nagios/Icinga check for PoE capable Switches implementing POWER-ETHERNET-MIB
net-misc/choria
The Choria Orchestrator Server and Broker
dev-python/siosocks
Sans-io socks proxy client/server with couple io backends
app-crypt/sequoia-sq
CLI of the Sequoia OpenPGP implementation
sys-fs/fswatch
cross-platform file change monitor with multiple backends
app-crypt/sequoia-sqv
A simple OpenPGP signature verification program
dev-ada/ada_libfswatch
Ada binding to the libfswatch library
dev-python/wcag-contrast-ratio
A library for computing contrast ratios, as required by WCAG 2.0
app-backup/rest-server
High-performance HTTP server that implements restic's REST backend API
dev-python/asyncio-throttle
Simple, easy-to-use throttler for asyncio
dev-ada/ada_language_server
a Language Server Protocol for Ada/SPARK
sys-fs/mergerfs-tools
Optional tools to help manage data in a mergerfs pool
www-plugins/bypass-paywalls
Bypass Paywalls browser extension
net-misc/sharelist
ShareList 是一个易用的网盘工具，支持快速挂载 GoogleDrive、OneDrive ，可通过插件扩展功能。
dev-cpp/rapidyaml
Library to parse and emit YAML, and do it fast
media-libs/cubeb
Cross-platform audio library
dev-racket/begin-with-local
Syntactic sugar around splicing-let
dev-racket/drracket-wakatime
wakatime support on DrRacket
dev-racket/spacemacs-theme
Spacemacs lite and dark color themes for DrRacket.
dev-util/android-tools-google
Android platform-tools same as android-tools, but without sdk from google
net-proxy/snowflake
Pluggable Transport using WebRTC, inspired by Flashproxy
app-dicts/myspell-sr
Serbian dictionaries for myspell/hunspell
sec-keys/openpgp-keys-pauldreik
OpenPGP keys used by Paul Dreik
app-crypt/certbot-dns-freenom
Freenom DNS Authenticator plugin for Certbot (Let's Encrypt Client)
dev-python/freenom
An unofficial python implementation for managing freenom.com dns records
media-video/cinelerra-gg
The most advanced non-linear video editor and compositor
net-p2p/transmission-cli
A Fast, Easy and Free BitTorrent client - command line (CLI) version
app-misc/yafetch
Yet another fetch ...
x11-misc/bdwmb
A simple, modular bash/shell script for configuring your DWM bar.