lean4
|
4.0.0.rc4-1 |
4 |
0.00
|
Lean 4 programming language and theorem prover |
dariost
|
2023-08-31 05:05 (UTC) |
lesbar-git
|
0.4-1 |
0 |
0.00
|
Markup language for status bars |
orphan
|
2021-06-25 15:18 (UTC) |
lettercell
|
1.0.0-2 |
0 |
0.00
|
An interpreter for the LetterCell esoteric programming language. |
Logicle
|
2024-06-19 00:32 (UTC) |
lettercell-git
|
1.0.0-1 |
0 |
0.00
|
An interpreter for the LetterCell esoteric programming language. |
Logicle
|
2024-06-19 00:20 (UTC) |
lexicanter-bin
|
2.1.18-1 |
0 |
0.00
|
A lexicon management tool for constructed languages.It was developed and will occasionally be updated by Ethan Ray (known online as Cthethan or Saturnine). |
zxp19821005
|
2024-06-07 01:17 (UTC) |
lexurgy
|
1.1.4-1 |
0 |
0.00
|
Simulates historical changes in spoken languages by applying regular rules to a list of words |
em-dash
|
2022-11-26 04:08 (UTC) |
lfe
|
2.0.1-1 |
2 |
0.00
|
LISP Flavoured Erlang |
vel
|
2021-08-04 20:30 (UTC) |
lfe-git
|
1:r1171.9a75089-1 |
1 |
0.00
|
Lisp Flavoured Erlang |
orphan
|
2023-03-16 17:44 (UTC) |
lib32-glslang
|
13.0.0-1 |
4 |
0.00
|
OpenGL and OpenGL ES shader front end and validator (32bit) |
oxalin
|
2023-09-17 18:31 (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-clang-libs-minimal-git
|
19.0.0_r494546.b4adb42151bb-1 |
1 |
0.00
|
clang runtime libraries, 32-bit trunk version |
Lone_Wolf
|
2024-04-02 23:31 (UTC) |
lib32-clang-opencl-headers-minimal-git
|
19.0.0_r494546.b4adb42151bb-1 |
1 |
0.00
|
clang headers & include files for OpenCL, 32-bit trunk version |
Lone_Wolf
|
2024-04-02 23:31 (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) |
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) |
libadalang-tools-git
|
r561.e18d43fa-1 |
0 |
0.00
|
Libadalang-based tools: gnatpp, gnatmetric and gnatstub |
pmderodat
|
2021-01-24 15:44 (UTC) |
libbulletml
|
0.0.6-6 |
4 |
0.00
|
C++ library to handle BulletML, a markup language to describe bullets in shooting games. |
escondida
|
2018-10-03 18:10 (UTC) |
libcamera-clang-git
|
r3203.76bd9f3d-1 |
0 |
0.00
|
A complex camera support library for Linux, Android, and ChromeOS (built with LLVM toolchain) |
orphan
|
2021-10-28 09:42 (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) |
libclc-minimal-git
|
19.0.0_r496188.172f6ddfa766-1 |
0 |
0.00
|
companion package to llvm-minimal-git, Library requirements of the OpenCL C programming language |
Lone_Wolf
|
2024-04-18 22:09 (UTC) |
libclsp
|
0.1.3-1 |
0 |
0.00
|
A C++17 library for language servers |
otreblan
|
2020-01-15 20:48 (UTC) |
libclsp-git
|
v0.1.3.r222.g195f98e-1 |
0 |
0.00
|
A C++17 library for language servers |
otreblan
|
2020-06-27 11:55 (UTC) |
libcsptr
|
2.0.4-2 |
8 |
0.00
|
A smart pointers library for the C programming language |
Snaipe
|
2017-11-29 14:37 (UTC) |
libcsptr-git
|
v2.0.1.r0.gff405f2-1 |
2 |
0.00
|
A smart pointers library for the C programming language |
Snaipe
|
2017-12-02 16:54 (UTC) |
libdspl
|
2.0-1 |
0 |
0.00
|
Opensource cross-platform digital signal processing algorithm library, written in C language. |
bokic
|
2022-10-12 04:32 (UTC) |
libe57
|
1.1.332-1 |
0 |
0.00
|
An open source implementation of the ASTM E2807 Standard Specification for 3D Imaging Data Exchange in the C++ language. |
maz-1
|
2021-07-27 02:15 (UTC) |
libebml-git
|
1.4.3.r44.gf96946a-1 |
0 |
0.00
|
Extensible Binary Meta Language library |
Chocobo1
|
2022-10-04 05:18 (UTC) |
libgedit-gtksourceview-langspec-twig
|
r1.e75762c-1 |
0 |
0.00
|
Twig language specifications for libgedit-gtksourceview |
Gerry
|
2023-10-06 09:23 (UTC) |
libixp-git
|
r153.ca2acb2-1 |
0 |
0.00
|
Portable, simple C-language 9P client and server libary. |
aksr
|
2023-01-29 17:59 (UTC) |
libkml
|
1.3.0-0 |
8 |
0.00
|
A KML library written in C++ with bindings to other languages |
geosam
|
2017-06-22 23:54 (UTC) |
libmetalink
|
0.1.3-1 |
17 |
0.00
|
A Metalink library written in C language. |
darnir
|
2015-07-24 19:10 (UTC) |
libminizinc
|
2.8.3-1 |
5 |
0.00
|
A modelling language for constraint programming problems |
xiretza
|
2024-03-03 14:44 (UTC) |
libmir
|
0.15.2-1 |
4 |
0.00
|
Generic Numerical Library for the D Programming language |
zfo
|
2016-08-05 14:35 (UTC) |
libmir-git
|
v0.16.0.alpha4.2.gc361dfb-1 |
3 |
0.00
|
Generic Numerical Library for the D Programming language |
zfo
|
2016-08-05 14:32 (UTC) |
libnuml
|
1.1.6-1 |
0 |
0.00
|
Numerical Markup Language (NuML) for exchange and archiving of numerical results |
mschu
|
2022-04-25 14:06 (UTC) |
libobjc2
|
2.1-1 |
0 |
0.00
|
Objective-C runtime library intended for use with Clang. |
jdemille
|
2024-01-15 07:29 (UTC) |
libreoffice-dev-af
|
24.8.0.0beta1-1 |
1 |
0.00
|
Afrikaans language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-am
|
24.8.0.0beta1-1 |
1 |
0.00
|
Amharic language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-ar
|
24.8.0.0beta1-1 |
1 |
0.00
|
Arabic language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-as
|
24.8.0.0beta1-1 |
1 |
0.00
|
Assamese (India) language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-ast
|
24.8.0.0beta1-1 |
1 |
0.00
|
Asturianu language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-be
|
24.8.0.0beta1-1 |
1 |
0.00
|
Belarusian language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-bg
|
24.8.0.0beta1-1 |
1 |
0.00
|
Bulgarian language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-bn-in
|
24.8.0.0beta1-1 |
1 |
0.00
|
Bengali (India) language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-bn
|
24.8.0.0beta1-1 |
1 |
0.00
|
Bengali language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-bo
|
24.8.0.0beta1-1 |
1 |
0.00
|
Tibetan language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-br
|
24.8.0.0beta1-1 |
1 |
0.00
|
Breton language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-brx
|
24.8.0.0beta1-1 |
1 |
0.00
|
Bodo language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-bs
|
24.8.0.0beta1-1 |
1 |
0.00
|
Bosnian language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |
libreoffice-dev-ca-valencia
|
24.8.0.0beta1-1 |
1 |
0.00
|
Catalan (Valencia) language pack for LibreOffice Dev |
tioguda
|
2024-06-16 10:29 (UTC) |