Search:
Search Results
games-emulation/libretro-kronos
Sega Saturn Emulated Hardware
app-i18n/yaskkserv2
Yet Another SKK server
sys-apps/zram-generator
Systemd unit generator for zram swap devices
dev-libs/tree-sitter-bash
Bash grammar for Tree-sitter
dev-libs/tree-sitter-c
C grammar for Tree-sitter
dev-libs/tree-sitter-cpp
C++ grammar for Tree-sitter
dev-libs/tree-sitter-html
HTML grammar for Tree-sitter
dev-libs/tree-sitter-javascript
JavaScript grammar for Tree-sitter
dev-libs/tree-sitter-json
JSON grammar for Tree-sitter
dev-lang/dafny
Dafny is a verification-aware programming language
dev-lang/boogie
SMT-based program verifier
dev-libs/mimalloc
A compact general purpose allocator with excellent performance
sys-devel/mold
A Modern Linker
net-mail/libpst
Utilities to read and convert MS Outlook personal folders (.pst) files.
games-emulation/libretro-dosbox-pure
DOS emulator, built for RetroArch/Libretro aiming for simplicity and ease of use
dev-python/frozenlist
A list-like structure which implements collections.abc.MutableSequence
app-cdr/qpxtool
Enhanced (unofficial) qpxtool version.
dev-python/krb5
Kerberos API bindings for Python
app-emacs/magentoo
Gentoo dashboard for Emacs
dev-cpp/jpcre2
C++ wrapper for PCRE2 library
dev-qt/qtremoteobjects
Qt Remote Objects is an IPC module.
dev-python/ukkonen
Implementation of bounded Levenshtein distance (Ukkonen)
gnome-extra/icon-library
Symbolic icons for your apps
dev-util/res2cs
An utility to generate .cs from .resx
sci-mathematics/lean
The Lean Theorem Prover
app-editors/helix
A post-modern text editor
dev-python/sgp4
Python version of the SGP4 satellite position library
dev-lua/StyLua
A Lua code formatter
dev-python/argon2-cffi-bindings
Low-level CFFI bindings for the Argon2 password hashing library
dev-python/donut-shellcode
Donut Python C extension
sci-mathematics/vampire
The Vampire Prover, theorem prover for first-order logic
dev-python/ha-av
Pythonic bindings for FFmpeg's libraries.
dev-util/rinstall
Utility for declarative installation of programs
app-emulation/ruffle
Flash Player emulator written in Rust
dev-libs/tree-sitter-python
Python grammar for Tree-sitter
dev-libs/tree-sitter-ruby
Ruby grammar for Tree-sitter
dev-libs/tree-sitter-rust
Rust grammar for Tree-sitter
dev-python/lrcalc
Python bindings for sci-mathematics/lrcalc
sci-mathematics/cryptominisat
Advanced SAT solver with C++ and command-line interfaces
sci-mathematics/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
app-crypt/sequoia-sq
CLI of the Sequoia OpenPGP implementation
app-crypt/sequoia-sqv
A simple OpenPGP signature verification program
dev-cpp/rapidyaml
Library to parse and emit YAML, and do it fast
media-video/cinelerra-gg
The most advanced non-linear video editor and compositor
app-misc/yafetch
Yet another fetch ...
media-sound/helvum
A GTK patchbay for pipewire
kde-plasma/oxygen-sounds
Oxygen sound theme for the Plasma desktop
app-editors/neovide
No Nonsense Neovim Client in Rust
kde-misc/applet-latte-separator
Plasma 5 applet that acts as a separator between applets
kde-misc/applet-latte-spacer
Plasma 5 applet that acts as a spacer between applets