Search:
Search Results
dev-haskell/shellac-compatline
"compatline" backend module for Shellac
app-backup/bareos
Featureful client/server network backup suite
net-firewall/nftables
Linux kernel firewall, NAT and packet mangling tools
gnome-extra/cjs
Linux Mint's fork of gjs for Cinnamon
sci-mathematics/cvc4
Automatic theorem prover for satisfiability modulo theories (SMT) problems
dev-db/sqlcipher
Full Database Encryption for SQLite
net-misc/megasync
The official Qt-based program for syncing your MEGA account in your PC
kde-apps/kalgebra
MathML-based 2D and 3D graph calculator by KDE
dev-libs/libpcre2
Perl-compatible regular expression library
media-sound/jack2
Jackdmp jack implemention for multi-processor machine
net-vpn/tinc
tinc is an easy to configure VPN implementation
net-misc/meganz-sdk
MEGA C++ SDK
app-misc/nnn
The missing terminal file browser for X
media-video/pipewire
Multimedia processing graphs
dev-ada/gnatcoll-bindings
GNAT Component Collection
sci-electronics/yosys
Framework for Verilog RTL synthesis
sci-calculators/bc-gh
Implementation of POSIX bc with GNU extensions
sci-physics/qcl
Quantum Computation Language with an emulator of a quantum computer
dev-lang/cxprolog
A WAM based Prolog system
sci-geosciences/grass
A free GIS with raster and vector functionality, as well as 3D vizualization
app-shells/mrsh
minimal strictly POSIX compliant shell
dev-util/cdecl
Composing and deciphering C (or C++) declarations or casts, aka "gibberish."
dev-lang/apl
GNU APL is a free implementation of APL (A Programming Language) (ISO Standard 13751).
app-shells/oil
A new Unix shell
app-shells/baz
a fast, easy, simple and lightweight plugin manager for GNU bash
x11-wm/fvwm3
A multiple large virtual desktop window manager derived from fvwm
net-p2p/monero
The secure, private, untraceable cryptocurrency
app-shells/bash-supplemental
The standard GNU Bourne again shell
net-p2p/haven-main
Haven protocol(XHV) command line wallet
net-p2p/oxencore
OXEN Wallet & Daemon
media-sound/jack-example-tools
Official examples and tools from the JACK project
sci-mathematics/abc
System for sequential logic synthesis and formal verification
sci-mathematics/opensmt
Compact and open-source SMT-solver written in C++
sci-libs/scip
SCIP - Solving Constraint Integer Programs
dev-lang/algol68g
Algol 68 Genie compiler-interpreter
sci-mathematics/gap
System for computational discrete algebra. Core functionality.
dev-build/remake
Patched version of GNU Make with improved error reporting, tracing and debugging
dev-debug/ddd
Graphical front-end for command-line debuggers
dev-libs/boron
A scripting language similar to REBOL