Search:
Search Results
media-fonts/lxgw-wenkai
An open-source Chinese font derived from Fontworks' Klee One
dev-cpp/scitokens-cpp
C++ implementation of the SciTokens library with a C library interface
app-emacs/fennel-mode
Emacs support for the Fennel programming language
sci-mathematics/cadabra
Field-theory motivated approach to computer algebra
dev-python/Kivy
Open source UI framework written in Python
media-video/hdr10plus_tool
CLI utility to work with HDR10+ in HEVC files.
media-video/dovi_tool
CLI tool combining multiple utilities for working with Dolby Vision
dev-haskell/fusion-plugin
GHC plugin to make stream fusion more predictable
dev-haskell/unicode-data
Access Unicode character database
dev-scheme/skribilo
Document production tool written in Guile Scheme
sci-mathematics/metamath-databases
Sample databases for Metamath
acct-group/dcc
System group: dcc
acct-user/dcc
Distributed Checksum Clearinghouses
acct-group/lacme
System group: lacme
acct-user/lacme
System user: lacme
app-crypt/lacme
Small ACME client written with process isolation and minimal privileges in mind
app-text/haskell-awk
Transform text from the command-line using Haskell expressions
net-irc/lambdabot
Lambdabot is a development tool and advanced IRC bot
net-wireless/csdr
a simple DSP library and cli for SDR
net-im/icalingua++-bin
A Linux client for QQ and more (forked branch). Previously called Electron QQ
dev-ml/ppx_import
A syntax extension for importing declarations from interface files
dev-python/sphinx-autoapi
A new approach to API documentation in Sphinx
sci-mathematics/alectryon
Toolkit for literate programming in Coq
sci-mathematics/coq-mathcomp
Mathematical Components for the Coq proof assistant
sci-mathematics/coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
app-containers/apptainer
The container system for secure high-performance computing
app-containers/catatonit
A container init that is so simple it's effectively brain-dead
app-emulation/proton-ge-custom-bin
A fancy custom distribution of Valves Proton with various patches
app-misc/trezor
Python library and command-line client for Trezor Hardware Wallet
dev-perl/ZMQ-LibZMQ3
A libzmq 3.x wrapper for Perl
app-emacs/company-coq
Collection of extensions for Proof General's Coq mode
app-emacs/company-math
Completion back-ends for for math unicode symbols and latex tags
app-emacs/math-symbol-lists
Lists of Unicode mathematical symbols and latex commands
media-fonts/gofont-mono
Monospace typeface created for the Go programming language
app-misc/timew-report
An interface for Timewarrior report data
sys-kernel/zenpower3
Linux kernel driver for reading sensors of AMD Zen family CPUs
app-emacs/fsharp-mode
Support for the F# programming language
media-plugins/gst-plugins-ldac
LDAC plugin for GStreamer
media-plugins/gst-plugins-openaptx
openaptx plugin for GStreamer
media-plugins/gst-plugins-sbc
SBC encoder and decoder plugin for GStreamer
net-misc/r8125
r8125 vendor driver for Realtek RTL8125 PCI-E NICs
app-emulation/proton-ge-custom-meta
Meta package for proton-ge-custom-bin, make it easier to pull in dependencies
app-emacs/boogie-friends
Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)
app-emacs/julia-mode
Emacs major mode for the Julia programming language
app-emacs/julia-repl
Run an inferior Julia REPL in a terminal inside Emacs
games-sports/skatebird
Skateboarding game where you play as a bird
media-sound/qpwgraph
A PipeWire Graph Qt GUI Interface
app-text/trim-trailing-spaces
Removes trailing spaces in files
media-gfx/zw3d
CAD/CAM software for 3D design and processing
dev-python/django-pglocks
PostgreSQL locking context managers and functions for Django