|
cuda11.1-tools
|
11.1.1-3 |
3 |
0.04
|
NVIDIA's GPU programming toolkit (extra tools: nvvp, nsight) (version 11.1) |
dbermond
|
2023-06-20 02:36 (UTC) |
|
cuda-8.0
|
8.0.61-3 |
3 |
0.00
|
NVIDIA's GPU programming toolkit. Version 8.0 |
clbuttic
|
2017-10-27 07:08 (UTC) |
|
cuda-10.0
|
10.0.130.1-1 |
3 |
0.00
|
NVIDIA's GPU programming toolkit. Version 10.0 |
KarelvdP
|
2019-05-24 12:50 (UTC) |
|
cpp-taskflow
|
3.6.0-1 |
3 |
0.00
|
Modern C++ Parallel Task Programming Library |
akstrfn
|
2023-05-08 12:11 (UTC) |
|
cicada-git
|
2015.06.24-1 |
3 |
0.00
|
programming language with the following features 1. threaded code based 2. aggressively developed 3. never provide backward compatibility [github git version] |
xieyuheng
|
2015-07-21 14:56 (UTC) |
|
blackvoxel
|
2.5-1 |
3 |
0.03
|
Game of automation and programming in a voxel world |
patlefort
|
2023-05-23 01:40 (UTC) |
|
bitburner
|
2.4.0-1 |
3 |
0.02
|
Bitburner is a programming-based incremental game |
konsonanz
|
2023-08-02 15:35 (UTC) |
|
bdf-zevv-peep
|
1-3 |
3 |
0.00
|
Monospace bitmap programming font aimed for FullHD displays |
aperez
|
2020-09-17 12:28 (UTC) |
|
bapctools-git
|
r1310.16e23ee-1 |
3 |
1.00
|
Tools for developing ICPC-style programming contest problems. |
rgrootkoerkamp
|
2023-03-13 16:08 (UTC) |
|
ballerina
|
1.2.11-1 |
3 |
0.00
|
an open source programming language and platform for cloud-era application programmers to easily write software that just works |
auroq
|
2020-12-10 19:45 (UTC) |
|
agda-git
|
2.5.1.r8151.g4108da695-1 |
3 |
0.00
|
A dependently typed functional programming language and proof assistant: development version |
johngowers
|
2020-11-12 20:31 (UTC) |
|
zigmod-bin
|
1:r87-1 |
2 |
0.00
|
A package manager for the Zig programming language |
sourgrasses
|
2023-08-11 15:14 (UTC) |
|
zerynth-studio
|
2.6.0-2 |
2 |
0.00
|
A powerful IDE for embedded programming in Python that enables the IoT |
MarsSeed
|
2020-09-20 22:28 (UTC) |
|
vim-crystal-git
|
r135.aebaadb-1 |
2 |
0.00
|
vim support for Crystal programming language |
anatolik
|
2015-11-30 22:28 (UTC) |
|
vdr-vdrmanager
|
0.15-11 |
2 |
0.00
|
Allows remote programming VDR using VDR-Manager running on Android devices |
CReimer
|
2024-01-28 21:55 (UTC) |
|
ttf-ubuntu-mono-ligaturized-git
|
3.0.0-1 |
2 |
0.00
|
Ubuntu Mono font with programming ligatures |
sdore
|
2021-07-01 20:27 (UTC) |
|
ttf-sarasa-gothic-sc
|
1.0.10-1 |
2 |
0.05
|
A CJK programming font based on Iosevka and Source Han Sans. (only Sarasa Gothic SC inside) |
Molyuu
|
2024-04-19 03:51 (UTC) |
|
ttf-lilex
|
2.400-1 |
2 |
0.00
|
Modern programming font with ligatures |
aperez
|
2024-03-23 12:59 (UTC) |
|
ttf-lilex-variable
|
2.400-1 |
2 |
0.00
|
Modern programming font with ligatures, variable version |
aperez
|
2024-03-23 12:59 (UTC) |
|
ttf-haeck
|
0.1-2 |
2 |
0.00
|
Hæck is the Hack fork with programming ligatures. |
Azertyfun
|
2019-08-15 11:31 (UTC) |
|
ttf-firge
|
0.3.0-5 |
2 |
0.00
|
Firge, a programming font that is a combination of Fira Mono and Genshin Gothic. |
Takumi
|
2023-11-21 07:06 (UTC) |
|
terra-git
|
1.0.0beta2.r22.g55a73e0-2 |
2 |
0.00
|
Low-level system programming language designed to interoperate seamlessly with Lua |
alerque
|
2024-03-28 04:04 (UTC) |
|
snap4arduino
|
6.2-1 |
2 |
0.00
|
A modification of the Snap! visual programming language that lets you seamlessly interact with almost all versions of the Arduino board. |
orphan
|
2020-09-26 11:00 (UTC) |
|
skribilo-git
|
1:0.9.5.r19.g31d6cd3-1 |
2 |
0.00
|
The Ultimate Document Programming Framework from git |
orphan
|
2022-11-11 16:32 (UTC) |
|
r-purrr
|
1.0.2-1 |
2 |
0.00
|
Functional Programming Tools |
BioArchLinuxBot
|
2023-08-10 12:03 (UTC) |
|
qdecoder
|
12.1.0-1 |
2 |
0.00
|
A simple and powerful CGI library for C/C++ programming language. |
amish
|
2022-06-02 08:49 (UTC) |
|
python312-perf
|
3.12.2-2 |
2 |
0.44
|
Major release 3.12 of the Python high-level programming language with perf support and optimizations enabled |
kyoto44
|
2024-02-09 06:47 (UTC) |
|
python-pymor
|
2023.2.0-1 |
2 |
0.00
|
pyMOR is a software library for building model order reduction applications with the Python programming language |
peoe
|
2024-01-13 08:39 (UTC) |
|
python-pweave
|
0.30.3-2 |
2 |
0.00
|
scientific report generator and literate programming tool for Python |
orphan
|
2020-01-29 15:34 (UTC) |
|
python-property-manager
|
3.0-3 |
2 |
0.00
|
Useful property variants for Python programming |
maikoool
|
2022-01-23 10:39 (UTC) |
|
pure-meta-web
|
1-1 |
2 |
0.00
|
Pure programming language, web package -- interfaces for database and web programming |
pure-aur
|
2015-06-13 20:57 (UTC) |
|
pure-meta-util
|
1-2 |
2 |
0.00
|
Pure programming language, util package -- basic support utilities and libraries |
pure-aur
|
2015-06-13 20:57 (UTC) |
|
pure-meta-math
|
1-4 |
2 |
0.00
|
Pure programming language, math package -- interfaces to various 3rd party mathematical software |
pure-aur
|
2018-10-31 22:22 (UTC) |
|
pure-meta-graphics
|
1-1 |
2 |
0.00
|
Pure programming language, graphics package -- interfaces for graphics and GUI programming |
pure-aur
|
2015-06-13 20:57 (UTC) |
|
pure-gplot
|
0.1-1 |
2 |
0.00
|
gnuplot interface for the Pure programming language |
pure-aur
|
2015-06-13 20:59 (UTC) |
|
pure-glpk
|
0.6-1 |
2 |
0.00
|
A feature complete GLPK interface for the Pure programming language. |
pure-aur
|
2021-04-30 00:33 (UTC) |
|
prog8
|
10.3-3 |
2 |
0.58
|
A high-level programming language designed for 6502 based devices |
Adiee5
|
2024-04-18 21:43 (UTC) |
|
prog-express
|
3.7.8-3 |
2 |
0.00
|
Prog-Express is a control software for the Batronix USB programming devices to program FLASH/PROM/EPROM/EEPROM chips |
severach
|
2016-07-05 04:28 (UTC) |
|
profont-otb
|
1.0.1-1 |
2 |
0.00
|
A small bitmap font which is absolutely great for programming (OTB version) |
svanrossem
|
2021-05-03 12:01 (UTC) |
|
picat
|
3.5-1 |
2 |
0.00
|
A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications. |
abeaumont
|
2023-07-10 20:53 (UTC) |
|
otf-fira-code-mozilla
|
r1.c4e1f82-1 |
2 |
0.00
|
Fira Code (Mozilla version) is Fira Mono with less Line Space (1.0) – does not include programming ligatures |
jairoabreu
|
2022-06-01 18:39 (UTC) |
|
nuweb
|
1.62-1 |
2 |
0.00
|
A Simple Literate Programming Tool |
aksr
|
2022-07-21 07:43 (UTC) |
|
numbat-bin
|
1.11.0-1 |
2 |
0.03
|
A statically typed programming language for scientific computations with first class support for physical dimensions and units |
joajfreitas
|
2024-03-10 21:51 (UTC) |
|
numbat
|
1.11.0-1 |
2 |
0.03
|
A statically typed programming language for scientific computations with first class support for physical dimensions and units |
joajfreitas
|
2024-03-10 21:45 (UTC) |
|
nrf-command-line-tools
|
10.24.1-0 |
2 |
0.02
|
The nRF Command Line Tools is used for development, programming and debugging of Nordic Semiconductor's nRF51, nRF52, nRF53 and nRF91 Series devices. |
taotieren
|
2024-04-13 05:54 (UTC) |
|
python-nrf-command-line-tools
|
10.24.1-0 |
2 |
0.02
|
The nRF Command Line Tools is used for development, programming and debugging of Nordic Semiconductor's nRF51, nRF52, nRF53 and nRF91 Series devices. (Python) |
taotieren
|
2024-04-13 05:54 (UTC) |
|
nodejs-docco
|
0.9.1-1 |
2 |
0.00
|
Literate Programming can be Quick and Dirty. |
orphan
|
2021-11-16 16:08 (UTC) |
|
mojo-git
|
24.2-1 |
2 |
0.23
|
Mojo Programming Language - Repository: https://github.com/Sharktheone/arch-mojo |
sharktheone
|
2024-03-28 22:15 (UTC) |
|
mingw-w64-dlib
|
19.24.4-1 |
2 |
0.00
|
A general purpose cross-platform C++ library designed using contract programming and modern C++ techniques (mingw-w64) |
pingplug
|
2024-03-31 20:02 (UTC) |
|
midica
|
1.5.11-1 |
2 |
0.01
|
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer |
orphan
|
2023-11-13 15:10 (UTC) |