x86_64 | extra | tamarin-prover | 1.10.0-87 | The Tamarin prover for security protocol analysis | 2025-07-14 |
x86_64 | extra | git-annex | 10.20250630-3 | Manage files with git, without checking their contents into git | 2025-07-14 |
x86_64 | extra | hledger-web | 1.32.1-203 | Web-based user interface for the hledger accounting system | 2025-07-14 |
x86_64 | extra | haskell-esqueleto | 3.5.9.0-82 | Type-safe EDSL for SQL queries on persistent backends. | 2025-07-14 |
x86_64 | extra | arch-hs | 0.12.0.1-39 | ハッキングパッケージを archlinux に配布する | 2025-07-14 |
x86_64 | extra | haskell-yesod-static | 1.6.1.0-834 | Static file serving subsite for Yesod Web Framework. | 2025-07-14 |
x86_64 | extra | taffybar | 4.0.3-100 | A desktop bar similar to xmobar, but with more GUI | 2025-07-14 |
x86_64 | extra | haskell-yesod-auth | 1.6.11.3-129 | Authentication for Yesod. | 2025-07-14 |
x86_64 | extra | haskell-coinbase-pro | 0.9.3.2-287 | Client for Coinbase Pro | 2025-07-14 |
x86_64 | extra | haskell-persistent-mysql | 2.13.1.4-46 | Backend for the persistent library using MySQL database server. | 2025-07-14 |
x86_64 | extra | haskell-yesod | 1.6.2.1-318 | Creation of type-safe, RESTful web applications. | 2025-07-14 |
x86_64 | extra | haskell-yesod-test | 1.6.22-8 | Integration testing for WAI/Yesod Applications | 2025-07-14 |
x86_64 | extra | haskell-arch-web | 0.3.1-34 | Arch Linux official and AUR web interface binding | 2025-07-14 |
x86_64 | extra | haskell-persistent-postgresql | 2.13.5.0-13 | Backend for the persistent library using postgresql. | 2025-07-14 |
x86_64 | extra | pandoc-cli | 3.1.12.1-96 | Conversion between documentation formats | 2025-07-14 |
x86_64 | extra | stack | 2.9.1-179 | Haskell Tool Stack | 2025-07-14 |
x86_64 | extra | postgrest | 10.0.0-376 | Postgres データベースの REST API | 2025-07-14 |
x86_64 | extra | haskell-yesod-form | 1.7.9-18 | Form handling support for Yesod Web Framework | 2025-07-14 |
x86_64 | extra | haskell-persistent-qq | 2.12.0.6-318 | Provides a quasi-quoter for raw SQL for persistent | 2025-07-14 |
x86_64 | extra | haskell-wai-middleware-static | 0.9.3-68 | WAI middleware that serves requests to static files | 2025-07-14 |
x86_64 | extra | haskell-pandoc-server | 0.1.0.5-185 | Pandoc document conversion as an HTTP servant-server | 2025-07-14 |
x86_64 | extra | haskell-servant-client | 0.20-128 | Automatic derivation of querying functions for servant | 2025-07-14 |
x86_64 | extra | haskell-yesod-persistent | 1.6.0.8-379 | Some helpers for using Persistent from Yesod. | 2025-07-14 |
x86_64 | extra | haskell-hspec-wai-json | 0.11.0-583 | Testing JSON APIs with hspec-wai | 2025-07-14 |
x86_64 | extra | haskell-pantry | 0.5.7-369 | Content addressable Haskell package management | 2025-07-14 |
x86_64 | extra | haskell-servant-server | 0.20.2-81 | A family of combinators for defining webservices APIs and serving them | 2025-07-14 |
x86_64 | extra | haskell-scotty | 0.22-79 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp | 2025-07-14 |
x86_64 | extra | haskell-hakyll | 4.16.2.0-49 | 静的ウェブサイトコンパイラライブラリ | 2025-07-14 |
x86_64 | extra | idris | 1.3.4-326 | 依存型を持つ関数型プログラミング言語 | 2025-07-14 |
x86_64 | extra | mighttpd2 | 4.0.3-237 | High performance web server on WAI/warp | 2025-07-14 |
x86_64 | extra | haskell-hspec-wai | 0.11.1-515 | Experimental Hspec support for testing WAI applications | 2025-07-14 |
x86_64 | extra | haskell-warp-quic | 0.0.0-286 | Warp based on QUIC | 2025-07-14 |
x86_64 | extra | hledger-ui | 1.32.1-179 | Curses-style terminal interface for the hledger accounting system | 2025-07-14 |
x86_64 | extra | haskell-casa-client | 0.0.2-22 | Content Addressable Storage Archive client | 2025-07-14 |
x86_64 | extra | haskell-persistent-sqlite | 2.13.1.0-229 | Backend for the persistent library using sqlite3 | 2025-07-14 |
x86_64 | extra | haskell-cheapskate | 0.1.1.2-737 | Experimental markdown processor. | 2025-07-14 |
x86_64 | extra | haskell-yesod-core | 1.6.27.0-20 | Creation of type-safe, RESTful web applications. | 2025-07-14 |
x86_64 | extra | haskell-wai-app-static | 3.1.9-108 | WAI application for static serving | 2025-07-14 |
x86_64 | extra | haskell-http3 | 0.0.2-116 | HTTP/3 library | 2025-07-14 |
any | extra | python-phonenumbers | 9.0.8-1 | Python version of Google's common library for parsing, formatting, storing and validating international phone numbers | 2025-07-14 |
x86_64 | extra | haskell-casa-types | 0.0.2-516 | Content Addressable Storage Archive types | 2025-07-14 |
x86_64 | extra | haskell-fsnotify | 0.4.1.0-81 | Cross platform library for file change notification. | 2025-07-14 |
x86_64 | extra | haskell-persistent-test | 2.13.1.3-96 | Tests for Persistent | 2025-07-14 |
x86_64 | extra | haskell-wai-extra | 3.1.17-18 | Provides some basic WAI handlers and middleware. | 2025-07-14 |
x86_64 | extra | hoogle | 5.0.18.4-127 | Haskell API 検索 | 2025-07-14 |
x86_64 | extra | haskell-sandwich | 0.1.5.2-80 | Yet another test framework for Haskell | 2025-07-14 |
x86_64 | extra | haskell-persistent | 2.14.5.1-96 | Type-safe, multi-backend data serialization | 2025-07-14 |
x86_64 | extra | haskell-rio-orphans | 0.1.2.0-384 | Orphan instances for the RIO type in the rio package | 2025-07-14 |
x86_64 | extra | haskell-wai-logger | 2.5.0-54 | A logging system for WAI | 2025-07-14 |
x86_64 | extra | haskell-quic | 0.1.9-18 | QUIC | 2025-07-14 |
x86_64 | extra | haskell-monad-logger | 0.3.42-14 | A class of monads which can log messages. | 2025-07-14 |
x86_64 | extra | haskell-fast-logger | 3.2.2-1 | A fast logging system | 2025-07-14 |
x86_64 | extra | glirc | 2.40-71 | Console IRC client | 2025-07-14 |
x86_64 | extra | haskell-vty-crossplatform | 0.4.0.0-18 | Cross-platform support for Vty | 2025-07-14 |
x86_64 | extra | haskell-vty-unix | 0.2.0.0-25 | Unix backend for Vty | 2025-07-14 |
x86_64 | extra | haskell-vty | 6.2-1 | A simple terminal UI library | 2025-07-14 |
x86_64 | extra | git | 2.50.1-3 | 高速な分散型バージョン管理システム | 2025-07-14 |
x86_64 | extra | git-zsh-completion | 2.50.1-3 | the fast distributed version control system | 2025-07-14 |
x86_64 | extra | kustomize | 5.7.0-1 | Template-free customization of Kubernetes YAML manifests | 2025-07-14 |
x86_64 | extra | nginx-mod-headers-more | 0.39-1 | Nginx module to set and clear input and output headers | 2025-07-14 |
x86_64 | extra | presenterm | 0.15.0-1 | A markdown terminal slideshow tool | 2025-07-14 |
x86_64 | extra | astroterm | 1.0.8-1 | A planetarium for your terminal | 2025-07-14 |
x86_64 | extra | cargo-generate | 0.23.4-1 | Use pre-existing git repositories as templates | 2025-07-14 |
x86_64 | extra | kea | 3.0.0-6 | High-performance, extensible DHCP server engine from ISC, supporting both DHCPv4 and DHCPv6 | 2025-07-14 |
x86_64 | extra | kea-docs | 3.0.0-6 | High-performance, extensible DHCP server engine from ISC, supporting both DHCPv4 and DHCPv6 | 2025-07-14 |
x86_64 | extra | just | 1.42.0-1 | A handy way to save and run project-specific commands | 2025-07-14 |
x86_64 | extra | xlockmore | 5.84-1 | X Window System のスクリーンセーバー・ロッカー | 2025-07-14 |
any | extra | svelte-language-server | 0.17.16-2 | Language server for Svelte | 2025-07-14 |
any | extra | python-pypdf | 5.8.0-1 | Python library for manipulating pages of PDF files | 2025-07-14 |
any | extra | python-astroid | 3.3.11-1 | A common base representation of python source code | 2025-07-14 |
x86_64 | extra | tombi | 0.4.31-1 | TOML Formatter / Linter / Language Server | 2025-07-14 |
x86_64 | extra | tree-sitter | 0.25.8-1 | An incremental parsing system for programming tools | 2025-07-14 |
x86_64 | extra | tree-sitter-cli | 0.25.8-1 | CLI tool for developing, testing, and using Tree-sitter parsers | 2025-07-14 |
x86_64 | extra | typos | 1.34.0-2 | Source code spell checker | 2025-07-14 |
x86_64 | extra | kstars | 1:3.7.7-3 | デスクトッププラネタリウム | 2025-07-14 |
any | extra | rocm-hip-libraries | 6.4.1-1 | Develop certain applications using HIP and libraries for AMD platforms | 2025-07-14 |
any | extra | rocm-hip-runtime | 6.4.1-1 | Packages to run HIP applications on the AMD platform | 2025-07-14 |
any | extra | rocm-hip-sdk | 6.4.1-1 | Develop applications using HIP and libraries for AMD platforms | 2025-07-14 |
any | extra | rocm-language-runtime | 6.4.1-1 | ROCm runtime | 2025-07-14 |
any | extra | rocm-ml-libraries | 6.4.1-1 | Packages for key Machine Learning libraries | 2025-07-14 |
any | extra | rocm-ml-sdk | 6.4.1-1 | develop and run Machine Learning applications optimized for AMD platforms | 2025-07-14 |
any | extra | rocm-opencl-sdk | 6.4.1-1 | Develop OpenCL-based applications for AMD platforms | 2025-07-14 |
x86_64 | extra | gphoto2 | 2.5.28-4 | A digital camera download and access program. | 2025-07-14 |
x86_64 | extra | hsa-rocr | 6.4.1-2 | HSA Runtime API and runtime for ROCm | 2025-07-14 |
x86_64 | extra | python-aioesphomeapi | 35.0.0-1 | Python Client for ESPHome native API | 2025-07-13 |
x86_64 | extra | ckb-next | 0.6.2-2 | Corsair Keyboard and Mouse RGB Driver | 2025-07-13 |
x86_64 | extra | v2ray | 5.30.0-1 | ネットワークの制約を回避するプロキシ作成プラットフォーム | 2025-07-13 |
x86_64 | extra | geeqie | 2.6.1-2 | 軽量な画像ビューア | 2025-07-13 |
x86_64 | extra | moosefs | 4.57.7-1 | 高性能・耐障害性の分散型ファイルシステム | 2025-07-13 |
x86_64 | extra | mosquitto | 2.0.22-1 | An Open Source MQTT Broker | 2025-07-13 |
any | extra | nwg-clipman | 0.2.7-1 | nwg-shell clipboard manager, a GTK3-based GUI for cliphist | 2025-07-13 |
x86_64 | extra | odin | dev_2025_07-1 | Data-oriented programming language | 2025-07-13 |
x86_64 | extra | tui-journal | 0.16.0-1 | Write and manage journals/notes from the terminal | 2025-07-13 |
any | extra | bandit | 1.8.6-1 | OpenStack Security の Python セキュリティ linter | 2025-07-13 |
x86_64 | extra | television | 0.12.3-1 | A general purpose fuzzy finder for your terminal | 2025-07-13 |
x86_64 | extra | qgpgme | 2.0.0-2 | GPGme の Qt バインディング | 2025-07-13 |
any | extra | python-tappy | 3.2.1-1 | Test Anything Protocol (TAP) tools for Python | 2025-07-13 |
x86_64 | extra | perl-term-readline-gnu | 1.47-1 | GNU Readline XS library wrapper | 2025-07-13 |
x86_64 | extra | libkrunfw | 4.10.0-1 | A dynamic library bundling the guest payload consumed by libkrun | 2025-07-13 |
x86_64 | extra | libkrun | 1.14.0-1 | A dynamic library providing Virtualization-based process isolation capabilities | 2025-07-13 |