Arch Linux User Repository
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
العربية
Asturianu
Català
Český
Dansk
Deutsch
Ελληνικά
English
Español
Español (Latinoamérica)
Suomi
Français
עברית
Hrvatski
Magyar
Italiano
日本語
Norsk
Nederlands
Polski
Português (Brasil)
Português (Portugal)
Română
Русский
Slovenčina
Srpski
Türkçe
Українська
简体中文
正體中文
AUR Home
Packages
Register
Login
Search Criteria
Enter search criteria
Search by
Name, Description
Name Only
Package Base
Exact Name
Exact Package Base
Keywords
Maintainer
Co-maintainer
Maintainer, Co-maintainer
Submitter
Keywords
Out of Date
All
Flagged
Not Flagged
Sort by
Name
Votes
Popularity
Voted
Notify
Maintainer
Last modified
Sort order
Ascending
Descending
Per page
50
100
250
Go
Orphans
60 packages found. Page 2 of 2.
« First
‹ Previous
1
 
2
Name
Version
Votes
Popularity
?
Description
Maintainer
Last Updated
python-opentimestamps-git
0.4.5.r0.ga90094e-2
0
0.00
Python3 library for creating and verifying OpenTimestamps proofs
nobodyinperson
2023-11-27 12:52 (UTC)
prosemd-lsp
0.1.0-2
0
0.00
An experimental proofreading and linting language server for markdown files.
Farzat
2024-01-23 02:42 (UTC)
squirrel-prover-git
latest-3
2
0.48
a proof assistant dedicated to cryptographic protocols
BenjaminVoisin
2024-03-19 14:21 (UTC)
fontproof
2.1.0-1
1
0.00
A font design testing class and CLI tool for SILE
alerque
2024-03-27 23:43 (UTC)
mkdocs-htmlproofer-plugin
1.2.1-1
0
0.00
MkDocs plugin to validates URL in rendered html files
AlphaJack
2024-04-15 19:06 (UTC)
neuron-zettelkasten-bin
1.9.35.0-1
6
0.00
Future-proof note-taking and publishing based on Zettelkasten
orphan
2024-04-20 06:25 (UTC)
prooftools-gtk-bin
0.6.2-1
0
0.00
A symbolic logic proof tree generator
winslow
2024-04-20 22:54 (UTC)
python-whenever-git
0.5.1.r20.g6c2a928-2
1
0.09
Foolproof datetimes for maintainable Python code (built from latest commit)
kseistrup
2024-04-28 08:47 (UTC)
hexhoot-bin
1.0.4-1
0
0.00
An Opensource Peer-to-peer communication platform with Zero-Knowledge-Proof based authentication.
zxp19821005
2024-05-06 07:54 (UTC)
prysm
5.0.3-2
4
0.01
Prysm is an Ethereum proof-of-stake client written in Go.
chengxuncc
2024-05-19 06:48 (UTC)
60 packages found. Page 2 of 2.
« First
‹ Previous
1
 
2