Arch Linux User Repository
Home
Packages
Forums
Wiki
Bugs
Security
AUR
Download
العربية
Asturianu
Català
Český
Dansk
Deutsch
English
Ελληνικά
Español
Español (Latinoamérica)
Finnish
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
12 packages found. Page 1 of 1.
Name
Version
Votes
Popularity
?
Description
Maintainer
apron
0.9.10-2
2
0.49
APRON numerical abstract domain library
arthaud
apron-ocaml-svn
0.9.11.r1054-1
0
0.00
OCaml interface for the APRON numerical abstract domain library
arthaud
apron-svn
0.9.11.r1104-2
1
0.24
APRON numerical abstract domain library
arthaud
clang40
4.0.1-7
4
0.00
C language family frontend for LLVM
arthaud
ikos
2.1-1
6
1.20
Static analyzer for C and C++ developed by NASA
arthaud
llvm40
4.0.1-7
4
0.00
Low Level Virtual Machine
arthaud
llvm40-libs
4.0.1-7
4
0.00
Low Level Virtual Machine (runtime libraries)
arthaud
ocaml-ocamlgraph-git
20150621-1
2
0.00
Graph library for OCaml
arthaud
python-formatstring-git
1.1.r0.g321baf7-1
3
0.00
Format string exploitation helper
arthaud
python2-pyode
20100322-1
6
0.00
A set of open-source Python bindings for The Open Dynamics Engine (ODE)
arthaud
snowman-git
0.1.3.r0.gd7dee56c-1
10
0.01
Native code to C/C++ decompiler (supporting x86, amd64 and arm)
arthaud
zxing-cpp-git
r60.5aad474-1
7
0.00
A command-line tool to decode QRCode
arthaud
12 packages found. Page 1 of 1.