tlog
terminal I/O recording and playback
r-cran-simplermarkdown
GNU R package which runs R code present in a pandoc markdown
libpython3.10
Shared Python runtime library (version 3.10)
flang-15
Fortran compiler
postgresql-15-pg-catcheck
Postgres system catalog checker
gobjc++-14-mipsisa64r6-linux-gnuabi64
GNU Objective-C++ compiler for the mipsisa64r6-linux-gnuabi64 architecture
fpc-3.2.2
Free Pascal - SDK-3.2.2 suite
toybox
BSD-licensed Linux command line utilities
gh
GitHub CLI, GitHub’s official command line tool
ruby-dbm
wrapper for the UNIX-style Database Manager Library
libwolfssl41
wolfSSL encryption library
libg2c0d
NCEP GRIB2 encoder/decoder library
node-sixel
Node.js library to manage Sixel images
libmrpt-containers2.5
Mobile Robot Programming Toolkit - containers library
primecount-bin
fast prime number counter C/C++ library -- bin
python3-govee-ble
Manage Govee BLE devices
libsquid1t64
biosquid dynamic library for biological sequence analysis
libvcflib2
C++ library for parsing and manipulating VCF files
libnats2.5
C client for the NATS messaging system
ruby-telesignenterprise
TeleSign Enterprise Ruby SDK
libcoq-hammer
automated reasoning tool for Coq
libcoq-hott
Coq library for homotopy type theory
libcoq-aac-tactics
Coq tactics for reasoning modulo AC (theories)
libknet1t64
kronosnet core switching implementation