Search:
Search Results
app-emacs/lean-mode
Emacs mode for the Lean 3 theorem prover
app-emacs/racket-mode
Emacs modes for Racket: edit, REPL, check-syntax, debug, profile, and more
dev-python/python3-xapp
Python bindings for x11-libs/xapp
x11-libs/xapp
Cross-desktop libraries and common resources
sys-kernel/xanmod-sources-rt
XanMod kernel sources, including the PREEMPT_RT and Gentoo patchsets
dev-ruby/rgen
A framework for Model Driven Software Development (MDSD)
dev-util/puppet-strings
Puppet documentation via YARD
app-misc/fastfetch
Fast neofetch-like system information tool
dev-haskell/lift-type
Lift a type from a Typeable constraint to a Template Haskell type
media-gfx/tifig-bin
Converts iOS 11 HEIC images to practical formats - Static binary
dev-racket/binfmt
The binfmt Racket package
dev-racket/binfmt-test
The binfmt-test Racket package
dev-racket/macrokey-lib
MacroKey. Core.
dev-racket/macrokey-doc
MacroKey. Documentation.
dev-racket/portage-admin-doc
A GUI application for inspection of Gentoo-based systems. Documentation.
dev-racket/portage-admin-lib
A GUI application for inspection of Gentoo-based systems. Core.
dev-racket/racket-llvm
racket llvm C-API bindings
dev-racket/scheme-plus-for-racket
The Scheme-PLUS-for-Racket Racket package
dev-racket/umask
umask - set default permissions on unix-like systems
dev-racket/umask-doc
Documentation for umask
dev-java/jakarta-jws-api
JWS API (Eclipse Project for JAX-WS)
dev-java/jakarta-xml-ws-api
JAX-WS API (Eclipse Project for JAX-WS)
app-portage/java-11to8-rebuild
Utility for bulk rebuilding Java packages when switching from Java 11 back to 8
app-portage/spark-overlay-rebuild
Utility for bulk rebuilding dev-java/*::spark-overlay packages
sys-boot/preloader-signed
A PreLoader which is signed for Secure Boot.
dev-python/markdown-it-py
Python port of markdown-it, Markdown parser
dev-python/mdit-py-plugins
Collection of plugins for markdown-it-py
dev-python/mdurl
Markdown URL utilities
dev-python/picobox
Dependency injection framework designed with Python in mind
dev-python/pytest-param-files
Pytest parametrize decorators from external files.
dev-python/sphinxemoji
Extension to use emoji codes in your Sphinx documentation
media-libs/QtApng
An apng image plugin for Qt to support animated PNGs
media-gfx/pineapple-pictures
A homebrew lightweight image viewer
media-video/qwinff
Qt GUI Frontend for FFmpeg
app-crypt/certbot-dns-duckdns
DuckDNS Authenticator plugin for Certbot
net-misc/landrop
Drop any files to any devices on your LAN
app-misc/lmgr
Manage, switch and template licenses
app-arch/lunzip
Decompressor for the lzip format, written in C
dev-lang/f2j
Fortran-to-Java translator, especially for BLAS, LAPACK and ARPACK
dev-java/f2jutil
Helper routines for compiling or running any f2j-generated Java code
dev-java/jlapack
Java translation of the BLAS and LAPACK libraries
dev-java/jarpack
Java translation of the ARPACK libraries
dev-libs/libbytecode
C API for creating and generating Java Class files
dev-tex/grtexstr
LaTeX to Grace format convertor.
dev-java/antlr-runtime
ANTLR 4 Runtime
dev-java/antlr-tool
The ANTLR 3 tool
dev-python/tk
TensorKit is a deep learning helper between Python and C++
acct-group/interlex
System group: interlex
acct-group/sparc
System group: sparc
acct-user/interlex
A user for dev-python/interlex