| x86_64 |
Extra |
agda |
2.6.4.3-152 |
A dependently typed functional programming language and proof assistant |
2026-06-04 |
2025-05-26 |
| x86_64 |
Extra |
allegro |
5.2.11.3-1 |
Portable library mainly aimed at video game and multimedia programming |
2026-02-09 |
|
| x86_64 |
Extra |
allegro4 |
4.4.3.1-5 |
Portable library aimed at video game and multimedia programming (legacy version) |
2025-06-13 |
|
| any |
Extra |
awstats |
8.0-1 |
tool that generates web, streaming, ftp and mail server statistics, graphically |
2025-11-28 |
|
| x86_64 |
Extra |
badvpn |
1.999.130-10 |
Peer-to-peer VPN system, and NCD, a programming language for network interface configuration |
2026-03-22 |
|
| x86_64 |
Extra |
cauchy |
0.9.0-5 |
A library for transforming Matlab/Octave files to C++ (with Eigen) and Matlab |
2026-03-27 |
|
| x86_64 |
Extra |
chuck |
1.5.5.8-1 |
Concurrent, on-the-fly audio programming language |
2026-05-24 |
|
| x86_64 |
Extra |
coin-or-cbc |
2.10.13-2 |
COIN-OR branch-and-cut mixed integer programming solver |
2026-03-27 |
|
| x86_64 |
Extra |
coin-or-clp |
1.17.11-2 |
COIN-OR linear programming solver |
2026-03-27 |
|
| x86_64 |
Extra |
coin-or-csdp |
6.2.0-5 |
A C library for Semidefinite Programming |
2024-07-01 |
|
| x86_64 |
Extra |
colm |
0.14.7-5 |
Programming language designed for the analysis and transformation of computer languages |
2026-04-07 |
|
| any |
Extra |
cowfortune |
0.1.2-8 |
Configurable fortune cookie proclaiming cow (and a few other creatures) |
2024-07-12 |
|
| x86_64 |
Extra |
crystal |
1.20.2-1 |
The Crystal Programming Language |
2026-05-16 |
|
| x86_64 |
Extra |
crystal-docs |
1.20.2-1 |
The Crystal Programming Language (documentation) |
2026-05-16 |
|
| x86_64 |
Extra |
csound |
6.18.1-10 |
Programming language for sound rendering and signal processing |
2026-04-10 |
|
| x86_64 |
Extra |
csound-doc |
6.18.1-10 |
Programming language for sound rendering and signal processing - documentation |
2026-04-10 |
|
| x86_64 |
Extra |
cuda |
13.3.0-1 |
NVIDIA's GPU programming toolkit |
2026-06-02 |
|
| x86_64 |
Extra |
dart |
3.12.0-1 |
The dart programming language SDK |
2026-05-21 |
2026-05-26 |
| x86_64 |
Extra |
dcd |
1:0.16.2-1 |
D Completion Daemon: auto-complete for the D programming language |
2026-01-12 |
|
| x86_64 |
Extra |
delve |
1.26.3-2 |
A debugger for the Go programming language. |
2026-05-08 |
|
| x86_64 |
Extra |
dmd |
1:2.112.1-2 |
The D programming language reference compiler |
2026-02-20 |
|
| x86_64 |
Extra |
dmd-docs |
1:2.112.1-2 |
Documentation and sample code for D programming language |
2026-02-20 |
|
| x86_64 |
Extra |
drawy |
1.0.1-1 |
Handy, infinite brainstorming tool |
2026-05-06 |
|
| x86_64 |
Extra |
dsdp |
5.8-8 |
A free open source implementation of an interior-point method for semidefinite programming |
2024-07-04 |
|
| x86_64 |
Extra |
dtools |
2.112.0-1 |
Ancilliary tools for the D programming language |
2026-01-12 |
2026-05-15 |
| x86_64 |
Extra |
dub |
1.41.0-1 |
Developer package manager for D programming language |
2026-01-12 |
|
| x86_64 |
Extra |
ecos |
2.0.10-3 |
A lightweight conic solver for second-order cone programming |
2024-07-01 |
|
| x86_64 |
Extra |
elisa |
26.04.2-1 |
A simple music player aiming to provide a nice experience for its users |
2026-06-04 |
|
| x86_64 |
Extra |
erlang |
29.0.1-1 |
General-purpose concurrent functional programming language developed by Ericsson |
2026-06-04 |
2026-06-10 |
| x86_64 |
Extra |
erlang-headless |
29.0.1-1 |
General-purpose concurrent functional programming language developed by Ericsson (headless, replaces erlang-nox) |
2026-06-04 |
2026-06-10 |
| x86_64 |
Extra |
erlang-tools |
29.0.1-1 |
A set of programming tools including a coverage analyzer etc |
2026-06-04 |
2026-06-10 |
| any |
Extra |
fabric |
3.2.3-1 |
Python library and command-line tool designed to streamline deploying applications or performing system administration tasks via the SSH protocol |
2026-04-07 |
|
| x86_64 |
Extra |
faust |
2.85.5-1 |
A functional programming language for realtime audio signal processing. |
2026-03-23 |
|
| x86_64 |
Extra |
five-or-more |
48.1-1 |
Remove colored balls from the board by forming lines |
2025-04-12 |
|
| x86_64 |
Extra |
flann |
1.9.2-7 |
A library for performing fast approximate nearest neighbor searches in high dimensional spaces |
2026-01-10 |
|
| any |
Extra |
functional-plus |
0.2.28-1 |
Functional Programming Library for C++ |
2026-04-27 |
|
| x86_64 |
Extra |
gap |
4.16.0-1 |
Groups, Algorithms, Programming: a system for computational discrete algebra |
2026-06-02 |
|
| x86_64 |
Extra |
genius |
1.0.29-1 |
Advanced calculator including a mathematical programming language |
2026-03-21 |
|
| x86_64 |
Extra |
gfxstream |
0.1.2-2 |
Graphics Streaming Kit (colloquially known as Gfxstream) is a code generator that makes it easier to serialize and forward graphics API calls from one place to another |
2025-05-21 |
|
| x86_64 |
Extra |
gleam |
1.17.0-1 |
Friendly programming language for building type-safe and scalable systems |
2026-06-13 |
|
| x86_64 |
Extra |
glpk |
5.0-3 |
GNU Linear Programming Kit: solve LP, MIP and other problems |
2024-07-02 |
|
| x86_64 |
Extra |
go |
2:1.26.4-1 |
Core compiler tools for the Go programming language |
2026-06-02 |
|
| x86_64 |
Extra |
go-tools |
4:0.46.0-1 |
Developer tools for the Go programming language |
2026-06-12 |
|
| x86_64 |
Extra |
gopls |
0.22.0-1 |
Language server for Go programming language |
2026-05-19 |
|
| x86_64 |
Extra |
goplus |
1.6.2-2 |
A programming language derived from Go and designed for engineering, STEM education, and data science |
2026-02-02 |
2026-05-15 |
| x86_64 |
Extra |
gputils |
1.5.2-2 |
PIC Programming Utilities |
2024-07-12 |
|
| x86_64 |
Extra |
grantleetheme |
26.04.2-1 |
Library for Grantlee theming support |
2026-06-04 |
|
| any |
Extra |
groovy |
5.0.6-1 |
Programming language for the Java platform, inspired by Python, Ruby and Smalltalk |
2026-06-13 |
|
| any |
Extra |
groovy-docs |
5.0.0-1 |
Documentation for the Groovy programming language |
2025-09-04 |
2026-06-13 |
| any |
Extra |
gulp |
5.0.1-1 |
The streaming build system |
2025-06-30 |
|
| x86_64 |
Extra |
hare |
0.26.0.1-2 |
The Hare programming language |
2026-06-01 |
|
| x86_64 |
Extra |
harec |
0.26.0-2 |
The Hare programming language - bootstrapped compiler |
2026-06-01 |
|
| x86_64 |
Extra |
haskell-conduit |
1.3.6.1-164 |
Streaming data processing library. |
2026-06-04 |
|
| x86_64 |
Extra |
haskell-foldl |
1.4.18-118 |
Composable, streaming, and efficient left folds |
2026-06-04 |
|
| x86_64 |
Extra |
haskell-generic-deriving |
1.14.7-44 |
Generic programming library for generalised deriving. |
2026-06-04 |
|
| x86_64 |
Extra |
haskell-generics-sop |
0.5.1.4-1 |
Generic Programming using True Sums of Products |
2026-03-27 |
|
| x86_64 |
Extra |
haskell-libyaml |
0.1.4-192 |
Low-level, streaming YAML interface. |
2026-06-04 |
|
| x86_64 |
Extra |
haskell-linear-generics |
0.2.3-102 |
Generic programming library for generalised deriving. |
2026-06-04 |
|
| x86_64 |
Extra |
haskell-logict |
0.8.2.0-87 |
A backtracking logic-programming monad. |
2026-06-04 |
|
| x86_64 |
Extra |
haskell-monad-par |
0.3.6-147 |
A library for parallel programming based on a monad |
2026-06-04 |
|
| x86_64 |
Extra |
haskell-parallel |
3.2.2.0-20 |
Parallel programming library |
2025-10-25 |
2026-05-15 |
| x86_64 |
Extra |
haskell-shelly |
1.11.0-102 |
Shell-like (systems) programming in Haskell |
2026-06-04 |
2026-05-15 |
| x86_64 |
Extra |
haskell-streaming-commons |
0.2.3.1-29 |
Common lower-level functions needed by various streaming data libraries |
2026-06-04 |
|
| x86_64 |
Extra |
haskell-syb |
0.7.3-113 |
library for generic programming in Haskell |
2026-06-04 |
2026-05-15 |
| x86_64 |
Extra |
haskell-tar-conduit |
0.4.1-223 |
Extract and create tar files using conduit for streaming |
2026-06-04 |
|
| x86_64 |
Extra |
haskell-turtle |
1.6.2-189 |
Shell programming, Haskell-style |
2026-06-04 |
|
| x86_64 |
Extra |
haskell-xdg-desktop-entry |
0.1.1.4-10 |
Parse files conforming to the xdg desktop entry spec |
2026-06-04 |
2026-05-15 |
| x86_64 |
Extra |
haveged |
1.9.22-1 |
Entropy harvesting daemon using CPU timings |
2026-05-21 |
|
| x86_64 |
Extra |
haxe |
4.3.7-4 |
Cross-platform toolkit and programming language |
2025-11-18 |
|
| x86_64 |
Extra |
headsetcontrol |
3.1.0-2 |
Sidetone control and battery readout for gaming headsets |
2025-05-29 |
|
| any |
Extra |
hypnotix |
5.6-2 |
IPTV streaming application with support for live TV, movies and series |
2026-04-05 |
|
| any |
Extra |
icon-naming-utils |
0.8.90-6 |
Maps the new names of icons for Tango to the legacy names used by the GNOME and KDE desktops. |
2024-09-19 |
|
| x86_64 |
Extra |
idris |
1.3.4-516 |
Functional Programming Language with Dependent Types |
2026-06-04 |
2025-08-04 |
| x86_64 |
Extra |
intellij-idea-community-edition |
4:2026.1.2-1 |
IDE for Java, Groovy and other programming languages with advanced refactoring features |
2026-05-17 |
2026-06-04 |
| x86_64 |
Extra-Testing |
intellij-idea-community-edition |
4:2026.1.3-1 |
IDE for Java, Groovy and other programming languages with advanced refactoring features |
2026-06-09 |
|
| x86_64 |
Extra |
ispc |
1.30.0-2 |
Compiler for high-performance SIMD programming on the CPU |
2026-03-14 |
|
| x86_64 |
Extra |
jitterentropy |
3.7.0-1 |
Hardware RNG based on CPU timing jitter |
2026-05-04 |
|
| any |
Extra |
jruby |
10.1.0.0-1 |
100% pure-Java implementation of the Ruby programming language |
2026-04-21 |
|
| x86_64 |
Extra |
julia |
2:1.12.6-1 |
High-level, high-performance, dynamic programming language |
2026-04-11 |
|
| any |
Extra |
kafka |
4.3.0-1 |
An open-source distributed event streaming platform |
2026-05-30 |
|
| x86_64 |
Extra |
kde-inotify-survey |
26.04.2-1 |
Tooling for monitoring inotify limits and informing the user when they have been or about to be reached |
2026-06-04 |
|
| any |
Extra |
kotlin |
2.4.0-1 |
Statically typed programming language with multiplatform support |
2026-06-05 |
|
| x86_64 |
Extra |
kturtle |
26.04.2-1 |
Educational Programming Environment |
2026-06-04 |
|
| x86_64 |
Extra |
lattice |
0.8.6-1 |
Editor-agnostic language server for the Crystal programming language |
2026-06-11 |
|
| x86_64 |
Multilib |
lib32-libiec61883 |
1.2.0-5 |
A higher level API for streaming DV, MPEG-2 and audio over Linux IEEE 1394 (32 bit) |
2024-09-07 |
|
| x86_64 |
Multilib |
lib32-libnghttp2 |
1.69.0-1 |
Framing layer of HTTP/2 is implemented as a reusable C library (32-bit) |
2026-04-20 |
|
| x86_64 |
Multilib |
lib32-libogg |
1.3.6-1 |
Ogg bitstream and framing library (32-bit) |
2025-08-05 |
|
| x86_64 |
Multilib |
lib32-vulkan-gfxstream |
1:26.1.2-1 |
Open-source Vulkan driver for Graphics Streaming Kit - 32-bit |
2026-06-04 |
|
| any |
Extra |
libclc |
22.1.6-1 |
Library requirements of the OpenCL C programming language |
2026-05-30 |
2026-06-02 |
| x86_64 |
Extra |
libfilezilla |
1:0.56.1-1 |
Small and modern C++ library, offering some basic functionality to build high-performing, platform-independent programs |
2026-06-04 |
|
| x86_64 |
Extra |
libfishsound |
1.0.1-2 |
A simple programming interface that wraps Xiph.Org audio codecs |
2025-02-21 |
|
| x86_64 |
Extra |
libforensic1394 |
0.2-14 |
Library for performing live memory forensics over the IEEE 1394 (FireWire) interface |
2026-03-23 |
|
| x86_64 |
Extra |
libiec61883 |
1.2.0-9 |
A higher level API for streaming DV, MPEG-2 and audio over Linux IEEE 1394 |
2025-08-31 |
|
| x86_64 |
Core |
libnghttp2 |
1.69.0-1 |
Framing layer of HTTP/2 is implemented as a reusable C library |
2026-04-20 |
|
| x86_64 |
Extra |
libogg |
1.3.6-1 |
Ogg bitstream and framing library |
2025-07-14 |
|
| x86_64 |
Extra |
liboggz |
1.1.3-1 |
A simple programming interface for reading and writing Ogg files and streams |
2025-03-15 |
|
| x86_64 |
Extra |
libphobos |
1:2.112.1-2 |
The Phobos standard library for D programming language |
2026-02-20 |
|
| x86_64 |
Extra |
libratbag |
0.18-1 |
A DBus daemon to configure gaming mice |
2024-09-24 |
|
| x86_64 |
Extra |
libstemmer |
3.1.1-1 |
Stemming library supporting several languages |
2026-06-03 |
|
| x86_64 |
Extra |
libxcvt |
0.1.3-1 |
library providing a standalone version of the X server implementation of the VESA CVT standard timing modelines generator |
2024-12-14 |
|