hare-specification
|
r393.dba688e-1 |
1 |
0.00
|
Specification for the Hare programming language |
grawlinson
|
2022-05-30 08:17 (UTC) |
haskell-agda-language-server
|
0.2.1-22 |
1 |
0.00
|
An implementation of language server protocal (LSP) for Agda 2. |
phijor
|
2022-08-21 15:11 (UTC) |
haskell-language-server-git
|
r77.80bc2e8-1 |
1 |
0.00
|
Integration point for ghcide and haskell-ide-engine. |
Poscat
|
2020-02-18 15:54 (UTC) |
hexa-git
|
232-1 |
1 |
0.00
|
Hexa is a programming language in an early stage of development |
expwez
|
2023-07-04 22:49 (UTC) |
i-use-arch-btw-git
|
0.1.0.r14.c511373-1 |
1 |
0.00
|
Turing-complete programming language |
OverMighty
|
2023-06-19 10:56 (UTC) |
idos-timetable-browser-latest
|
1.30_lib2.11.0.0_date2023_06_08-5 |
1 |
0.00
|
Offline railway and other public transport timetable search engine by CHAPS. (Czech language by default.) |
dreieck
|
2024-01-14 22:30 (UTC) |
idris2-lsp-git
|
latest-3 |
1 |
0.00
|
Language Server for Idris2 |
MithicSpirit
|
2024-03-10 03:13 (UTC) |
inform7-git
|
10.2.0_beta+6W49-1 |
1 |
0.00
|
A design system for interactive fiction based on natural language (git version) |
orphan
|
2023-05-17 16:50 (UTC) |
inform7-ide-bin
|
2.0.0_1-1 |
1 |
0.00
|
Inform 7 IDE for the Inform 7 programming language for interactive fiction |
silverhikari
|
2022-09-05 22:03 (UTC) |
inter-doom-git
|
r4735.2bdf44a4-1 |
1 |
0.00
|
A limit-removing source port of Doom with enhancements and translation to the Russian language (git version) |
Dasperal
|
2023-06-04 11:09 (UTC) |
inter-heretic-git
|
r4735.2bdf44a4-1 |
1 |
0.00
|
A limit-removing source port of Heretic with enhancements and translation to the Russian language (git version) |
Dasperal
|
2023-06-04 11:09 (UTC) |
inter-hexen-git
|
r4735.2bdf44a4-1 |
1 |
0.00
|
A limit-removing source port of Hexen with enhancements and translation to the Russian language (git version) |
Dasperal
|
2023-06-04 11:09 (UTC) |
isabelle-tum
|
2021_1-1 |
1 |
0.00
|
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. Release mirror: TUM. |
MW360
|
2021-12-13 23:15 (UTC) |
isoquery
|
3.2.7-1 |
1 |
0.00
|
Search and display ISO codes for countries, languages, currencies, and scripts. |
IooNag
|
2024-05-07 14:25 (UTC) |
j901-bin
|
9.01-1 |
1 |
0.00
|
J is a modern, high-level, general-purpose, high-performance programming language |
pavan
|
2020-06-18 08:56 (UTC) |
jaksel-language
|
1.1.0-1 |
1 |
0.00
|
Jaksel Script, Programming language very modern and Indonesian style |
cocatrip
|
2022-04-30 11:08 (UTC) |
jakt-git
|
r2296.7a35484f-1 |
1 |
0.00
|
The Jakt Programming Language from SerenityOS |
demizer
|
2023-03-01 08:11 (UTC) |
jason-bin
|
3.2.0-1 |
1 |
0.14
|
Fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language. |
laurasabucedo
|
2024-02-01 12:15 (UTC) |
java-language-server-git
|
0.2.38.r1631.7fffb6c5-1 |
1 |
0.00
|
Java language server using the Java compiler API |
GrimKriegor
|
2022-11-25 18:55 (UTC) |
jdk11-graalvm-ee-bin
|
22.3.2-1 |
1 |
0.00
|
Universal virtual machine for running applications written in a variety of languages (JVM-based, LLVM-based, or other), Java 11 version |
mio-19
|
2023-05-20 18:24 (UTC) |
jdk22-graalvm-ee-bin
|
22.0.1-1 |
1 |
1.00
|
Universal virtual machine for running applications written in a variety of languages (JVM-based, LLVM-based, or other), Java 22 version |
nns
|
2024-05-09 12:05 (UTC) |
jelly-git
|
r319.70c9fd9-1 |
1 |
0.00
|
An esoratic programming language |
Majora320
|
2021-01-27 17:14 (UTC) |
jstar
|
1.8.6-2 |
1 |
0.00
|
A Lightweight Embeddable Scripting Language |
bamless
|
2021-07-12 21:54 (UTC) |
kaitai-struct-compiler-git
|
0.10.r56.g0acd030-1 |
1 |
0.00
|
Compiler for the Kaitai declarative binary format parsing language. |
drygdryg
|
2023-07-27 15:54 (UTC) |
kaitai-struct-compiler-serialization-git
|
0.10.r94.gf1dc857-1 |
1 |
0.00
|
Compiler for the Kaitai declarative binary format parsing language. Serialization support included. |
drygdryg
|
2023-07-27 15:37 (UTC) |
kamite-bin
|
0.13-1 |
1 |
0.00
|
A language immersion companion for learners of Japanese |
fauu
|
2023-03-17 12:34 (UTC) |
kde-thumbnailer-hpgl-git
|
1.0.1.r0.gfc38f4d-1 |
1 |
0.00
|
KDE / Dolphin thumbnails for HPGL (HP graphics language) files (git) |
CodingMarco
|
2023-11-09 19:58 (UTC) |
koka-bin
|
3.1.1-1 |
1 |
0.21
|
Koka: a function-oriented language with effect inference |
TwoFinger
|
2024-03-06 07:17 (UTC) |
komodo-ide-nightly
|
11.0.1_90763-1 |
1 |
0.00
|
Code smarter and faster with the leading IDE for today's major web languages, including Python, PHP, Node.js, Perl, Go and Ruby. - XUL based |
Naatan
|
2017-10-12 16:32 (UTC) |
konoha
|
1.0.0.952-1 |
1 |
0.00
|
A high speed static scripting language. |
keenerd
|
2015-06-13 04:18 (UTC) |
kuroko-git
|
1.4.0.r80.g9ad8501-2 |
1 |
0.07
|
Dynamic, bytecode-compiled programming language and a dialect of Python (development version) |
kseistrup
|
2024-02-27 14:51 (UTC) |
lameta
|
2.3.1_alpha-1 |
1 |
0.00
|
The Metadata Editor for Transparent Archiving of language document materials |
marcool04
|
2024-04-08 08:46 (UTC) |
langkit-git
|
r7153.b32ae90dc-1 |
1 |
0.00
|
Compiler for syntactic and semantic language analysis libraries |
pmderodat
|
2021-01-24 15:44 (UTC) |
languagetool-ngrams-es
|
20150915-2 |
1 |
0.00
|
Finding errors using n-gram data, spanish text |
Jaja
|
2019-03-19 00:14 (UTC) |
languagetool-ngrams-fr
|
20150913-2 |
1 |
0.00
|
Finding errors using n-gram data, french text |
Jaja
|
2019-03-19 00:14 (UTC) |
languagetool-ngrams-nl
|
20181229-1 |
1 |
0.00
|
Finding errors using n-gram data, dutch text |
Jaja
|
2019-03-19 00:13 (UTC) |
languagetool-ngrams-ru
|
20150914-1 |
1 |
0.00
|
Finding errors using n-gram data, russian text |
Jaja
|
2019-03-19 00:13 (UTC) |
languagetool-word2vec-pt
|
20180211-2 |
1 |
0.00
|
Finding errors using neural network rules, portuguese text |
Jaja
|
2019-04-01 17:11 (UTC) |
larceny
|
1.3-1 |
1 |
0.00
|
Larceny is a simple and efficient implementation of the Scheme programming language. |
ecraven
|
2017-09-13 08:33 (UTC) |
ldetect
|
v1.1.0-1 |
1 |
0.00
|
Tools to redirect stdin on different commands according to detected language |
primalmotion
|
2023-03-23 21:40 (UTC) |
ldpl
|
4.4-1 |
1 |
0.00
|
COBOL inspired language, designed to be expressive, fast, readable and easy to learn. |
mega
|
2019-12-16 16:12 (UTC) |
lib32-clang-minimal-git
|
19.0.0_r494546.b4adb42151bb-1 |
1 |
0.00
|
C language family frontend for LLVM , 32-bit trunk version |
Lone_Wolf
|
2024-04-02 23:31 (UTC) |
lib32-tcl-ar
|
8.6.14-1 |
1 |
0.00
|
The Tcl scripting language (with *.a files) |
orphan
|
2024-03-22 06:15 (UTC) |
lib32-tcl84
|
8.4.20-1 |
1 |
0.00
|
The Tcl scripting language, 8.4 series |
Forty-Bot
|
2021-03-28 20:57 (UTC) |
libadalang-git
|
r4370.89d25ed1-1 |
1 |
0.00
|
High performance syntactic and semantic engine for the Ada programming language |
pmderodat
|
2021-01-24 15:44 (UTC) |
libclc-git
|
1:19.0.0_r492390.4e3310a8-1 |
1 |
0.00
|
Library requirements of the OpenCL C programming language (git version) |
SolarAquarion
|
2024-03-12 12:05 (UTC) |
libcollectc-git
|
r616.2302fff-3 |
1 |
0.00
|
Collections C provides generic data structures for the C programming language. |
ewout
|
2023-04-24 10:49 (UTC) |
libcvtapi-git
|
r136.b30f7ad-1 |
1 |
0.00
|
Official implementation of the VirusTotal API in C programming language |
orphan
|
2022-08-30 18:10 (UTC) |
libkml-git
|
1.3.0.r130.g878abd1-1 |
1 |
0.00
|
A KML library written in C++ with bindings to other languages |
alireza6677
|
2024-01-03 10:13 (UTC) |
libreoffice-dev-af
|
24.2.3.2-1 |
1 |
0.00
|
Afrikaans language pack for LibreOffice Dev |
tioguda
|
2024-05-08 15:53 (UTC) |