|
gnudatalanguage
|
1.0.4-3 |
21 |
0.01
|
An IDL (Interactive Data Language) compatible incremental compiler (ie. runs IDL programs) |
jankoh
|
2024-05-19 14:41 (UTC) |
|
lib32-lua
|
5.4.6-2 |
22 |
0.00
|
A powerful light-weight programming language designed for extending applications |
ducakar
|
2023-12-04 00:54 (UTC) |
|
alloy
|
6.1.0-1 |
23 |
0.00
|
A lightweight modelling language for software design. |
ADSWT518
|
2022-05-13 03:36 (UTC) |
|
rebar3
|
3.22.0-1 |
23 |
0.21
|
A sophisticated build-tool for Erlang projects that follows OTP principles. |
winlu
|
2023-06-10 19:14 (UTC) |
|
rhvoice-git
|
1.8.0.r73.a4481436-1 |
23 |
0.00
|
Free and open source speech synthesizer for Russian and other languages. (development version) |
vantu5z
|
2022-10-22 16:59 (UTC) |
|
ghcup-hs-bin
|
0.1.22.0-1 |
24 |
0.36
|
an installer for the general purpose language Haskell |
amesgen
|
2024-03-13 15:01 (UTC) |
|
jetbrains-fleet
|
1.35.115-1 |
24 |
0.04
|
JetBrains IDE for any language |
phnx47
|
2024-05-23 09:04 (UTC) |
|
mintlocale
|
1.6.1-1 |
24 |
1.06
|
Language and locale selection tool |
Santi-Burgos
|
2024-05-14 17:04 (UTC) |
|
python39
|
3.9.19-1 |
24 |
0.73
|
Major release 3.9 of the Python high-level programming language |
rixx
|
2024-03-23 08:41 (UTC) |
|
vim-scala-git
|
20150130-2 |
24 |
0.00
|
Vim support files for the Scala programming language, from the official Scala Github repository |
sumito3478
|
2015-06-29 21:29 (UTC) |
|
anki-git
|
r10935.eb597475c-1 |
25 |
0.02
|
Helps you remember facts (like words/phrases in a foreign language) efficiently |
DarkShadow44
|
2024-03-05 19:32 (UTC) |
|
inform7-ide
|
2.0.0-1 |
25 |
0.00
|
a ide for the inform language/compiler |
silverhikari
|
2023-06-13 06:34 (UTC) |
|
jflap
|
7.1-3 |
25 |
0.05
|
Software to learning the basic concepts of Formal Languages and Automata Theory |
robertfoster
|
2023-06-22 11:08 (UTC) |
|
newlisp
|
10.7.5-1 |
25 |
0.00
|
A LISP like, general purpose scripting language. |
orphan
|
2019-08-04 03:14 (UTC) |
|
python-selenium
|
4.21.0-1 |
25 |
1.56
|
Python language bindings for Selenium WebDriver |
carsme
|
2024-05-20 06:51 (UTC) |
|
r-mkl
|
4.4.0-1 |
25 |
0.00
|
Language and environment for statistical computing and graphics, linked to the Intel(R) MKL. |
alexanderp
|
2024-04-29 17:06 (UTC) |
|
ruby-rmagick
|
4.2.6-1 |
25 |
0.00
|
RMagick is an interface between the Ruby programming language and the ImageMagick image processing library |
dark-saber
|
2022-07-20 13:33 (UTC) |
|
hare
|
0.24.0-1 |
26 |
1.08
|
The Hare programming language |
grawlinson
|
2024-03-18 20:47 (UTC) |
|
isabelle
|
2023-1 |
26 |
0.78
|
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. |
bitwave
|
2023-09-18 11:16 (UTC) |
|
love07
|
0.7.2-9 |
26 |
0.00
|
An open-source 2D game engine using Lua scripting language (legacy 0.7.x version) |
parkerlreed
|
2022-07-05 17:36 (UTC) |
|
sasm
|
3.14.0-1 |
26 |
0.00
|
Simple crossplatform IDE for NASM, GAS, FASM assembly languages |
twa022
|
2023-03-06 14:16 (UTC) |
|
stegsolve
|
1.3-3 |
26 |
1.01
|
A steganographic image analyzer, solver and data extractor for challanges |
anthraxx
|
2015-06-18 16:12 (UTC) |
|
rust-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rust-docs-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Language and API documentation) |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rust-src-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Source code) |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rust-analysis-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Systems programming language focused on safety, speed and concurrency (Code completion data) |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
rls-git
|
3:1.67.0.r209623.5eef9b2c50d-1 |
27 |
0.00
|
Rust language server |
spider-mario
|
2022-11-10 14:57 (UTC) |
|
jdtls
|
1.35.0-1 |
28 |
0.14
|
Eclipse Java language server |
languitar
|
2024-04-25 21:33 (UTC) |
|
mars-mips
|
4.5-5 |
28 |
0.01
|
An IDE for programming in MIPS assembly language intended for educational-level use |
robertfoster
|
2020-02-02 17:36 (UTC) |
|
radare2-bindings
|
2.8.0-1 |
29 |
0.00
|
Language bindings of the radare2 api for valabind and friends |
anthraxx
|
2018-08-08 21:06 (UTC) |
|
vim-clang-complete-git
|
v1.8.r334.gc7f5673-2 |
29 |
0.00
|
Plugin which uses clang for accurately completing C and C++ code. Git version. |
orphan
|
2016-09-19 07:43 (UTC) |
|
vim-rust-git
|
20200918-1 |
29 |
0.65
|
Rust language support for Vim |
lilydjwg
|
2020-09-29 05:28 (UTC) |
|
python38
|
3.8.19-1 |
30 |
1.16
|
Major release 3.8 of the Python high-level programming language |
rixx
|
2024-03-23 08:40 (UTC) |
|
ttf-sil-lateef
|
4.200-1 |
30 |
0.08
|
An Arabic script font for Sindhi and other languages of southern Asia |
alerque
|
2024-03-28 06:14 (UTC) |
|
inform7
|
10.1.2-3 |
31 |
0.00
|
A design system for interactive fiction based on natural language |
orphan
|
2023-05-17 16:49 (UTC) |
|
julia-bin
|
1.10.3-1 |
31 |
0.01
|
High-level, high-performance, dynamic programming language - official binaries |
swiftscythe
|
2024-04-30 20:11 (UTC) |
|
factor
|
0.99-1 |
32 |
0.32
|
A general purpose, dynamically typed, stack-based programming language. |
megapoliss
|
2024-01-07 15:56 (UTC) |
|
icon
|
1:9.5.24a-1 |
32 |
0.00
|
The Icon programming language |
aksr
|
2024-01-20 19:12 (UTC) |
|
python37
|
3.7.17-1 |
32 |
0.16
|
Major release 3.7 of the Python high-level programming language |
greut
|
2023-06-14 07:53 (UTC) |
|
firefox-beta-bin-all-localizations
|
127.0b5-1 |
33 |
0.00
|
Perl script for installing latest FF beta in the language of your choice |
symen
|
2024-05-22 17:19 (UTC) |
|
vim-languagetool
|
1.30-1 |
33 |
0.00
|
Grammar checker for English, French, German (etc.) in Vim |
orphan
|
2016-10-28 14:12 (UTC) |
|
pharo-bin
|
9.0-1 |
34 |
0.00
|
Implementation of the object-oriented, dynamically typed programming language Smalltalk |
orphan
|
2022-01-14 10:27 (UTC) |
|
gprbuild
|
1:24.0w-6 |
35 |
0.26
|
Builder for multi-language systems. |
charlie5
|
2023-10-17 23:51 (UTC) |
|
gprtools
|
1:24.0w-6 |
35 |
0.26
|
Builder for multi-language systems. |
charlie5
|
2023-10-17 23:51 (UTC) |
|
gprname
|
1:24.0w-6 |
35 |
0.26
|
Builder for multi-language systems. |
charlie5
|
2023-10-17 23:51 (UTC) |
|
gprslave
|
1:24.0w-6 |
35 |
0.26
|
Builder for multi-language systems. |
charlie5
|
2023-10-17 23:51 (UTC) |
|
python36
|
3.6.15-6 |
36 |
0.00
|
Major release 3.6 of the Python high-level programming language |
rixx
|
2023-10-14 21:57 (UTC) |
|
asdf-vm
|
0.14.0-1 |
37 |
2.50
|
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more |
alecmev
|
2024-01-20 17:53 (UTC) |
|
matlab
|
9.14.0.2337262-1 |
40 |
0.04
|
A high-level language for numerical computation and visualization |
orphan
|
2023-09-19 12:20 (UTC) |
|
chez-scheme
|
10.0.0-1 |
42 |
0.46
|
Compiler and run-time system for the language of the Revised^6 Report on Scheme (R6RS), with numerous extensions. |
taekyung
|
2024-02-07 10:18 (UTC) |