|
metamath
|
0.198-1 |
1 |
0.00
|
A tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified. |
aksr
|
2022-12-23 22:21 (UTC) |
|
metalua
|
0.5rc2-1 |
0 |
0.00
|
The metalua programming language |
keenerd
|
2015-08-09 18:41 (UTC) |
|
metacall-git
|
v0.5.20.r12.g2a4a9ee1-1 |
1 |
0.00
|
A CLI for a library providing inter-language foreign function interface calls |
AkechiShiro
|
2022-05-21 08:17 (UTC) |
|
mercury
|
22.01.8-1 |
9 |
0.00
|
The mercury language compiler. |
aperez
|
2023-11-09 10:21 (UTC) |
|
mdpls-git
|
0.1.0.6.g3076150-1 |
0 |
0.00
|
A language server that provides a live HTML preview of your markdown in your browser. |
dvb
|
2023-09-30 02:44 (UTC) |
|
mdocml-cvs
|
2017.02.01.23.00.00-1 |
0 |
0.00
|
A suite of tools compiling mdoc, the roff macro language for manual pages, and man. |
aksr
|
2017-02-03 14:42 (UTC) |
|
mcrl2-bin
|
202307.1-1 |
0 |
0.00
|
A formal specification language with an associated toolset installed from the 'deb' GitHub release package. |
Kevinjil
|
2023-11-15 14:45 (UTC) |
|
mcrl2
|
202307.1-1 |
7 |
0.00
|
A formal specification language with an associated toolset. |
erackron
|
2023-11-15 15:29 (UTC) |
|
mawk2-git
|
1.9.9.6.r6.f1c6a55-1 |
1 |
0.00
|
An interpreter for the AWK Programming Language (from the original author). |
aksr
|
2018-05-23 17:20 (UTC) |
|
matsurika
|
v1.20.0.r63.ge7cfcb1b-1 |
0 |
0.00
|
Fork of the janet programming language |
esrh
|
2022-03-06 05:00 (UTC) |
|
match
|
1.1-1 |
0 |
0.00
|
A powerful tool for syntax analysis, the main idea of pattern matching comes from the SNOBOL4 language. |
aksr
|
2016-08-10 06:21 (UTC) |
|
massivethreads
|
1.00-1 |
0 |
0.00
|
A Lightweight Thread Library for High Productivity Languages |
xuanruiqi
|
2020-05-09 13:13 (UTC) |
|
mason.nvim
|
r1192.2381f50-1 |
0 |
0.00
|
Package manager focused on IDE language extensions |
gibbz00
|
2022-12-06 17:22 (UTC) |
|
markdown-oxide-git
|
r255.3ea0b15-1 |
0 |
0.00
|
A markdown language server with Obsidian syntax support. |
sQVe
|
2024-02-26 19:47 (UTC) |
|
map2-git
|
1.0.0-2 |
0 |
0.00
|
A scripting language that allows complex key remapping on Linux, written in Rust |
shirousagi
|
2023-11-22 04:26 (UTC) |
|
map2
|
1.0.6-8 |
0 |
0.00
|
A scripting language that allows complex key remapping on Linux, written in Rust |
shirousagi
|
2023-11-22 02:27 (UTC) |
|
mangle
|
v.0.1-1 |
0 |
0.00
|
Mangle programming language |
mattf
|
2022-03-25 02:57 (UTC) |
|
mallet
|
2.0.8-1 |
0 |
0.00
|
MAchine Learning for LanguagE Toolkit |
smgt
|
2018-05-03 13:17 (UTC) |
|
malaga
|
7.12-7 |
17 |
0.00
|
A software for the development and application of grammars that are used for the analysis of words and sentences of natural languages. |
Huulivoide
|
2016-07-16 09:28 (UTC) |
|
python-mailchecker
|
5.0.9-1 |
0 |
0.00
|
Cross-language email validation. Backed by a database of over 30 000 throwable email domains. |
SZanko
|
2023-09-16 14:24 (UTC) |
|
lw-comm-server-uk-git
|
r259.db55bf5-1 |
0 |
0.00
|
lw.comm-server - unified communications server for LaserWeb4 (Ukrainian language) |
khvalera
|
2024-02-14 23:22 (UTC) |
|
lush
|
1.2.1-3 |
4 |
0.00
|
An object-oriented programming language designed for researchers, experimenters, and engineers interested in large-scale numerical and graphic applications. |
MajoranaOedipus
|
2024-04-21 18:46 (UTC) |
|
lure
|
1.1-4 |
7 |
0.00
|
Fantasy point-and-click adventure game with comedic elements (aka Lure of the Temptress) - multi language |
orphan
|
2023-11-19 12:01 (UTC) |
|
lugat
|
0.2.0-1 |
0 |
0.00
|
CLI for Turkish Language Association's Güncel Türkçe Sözlük |
orphan
|
2021-09-18 17:09 (UTC) |
|
luau-git
|
0.605.2ea71937-1 |
1 |
0.00
|
A fast, small, safe, gradually typed embeddable scripting language derived from Lua |
orphan
|
2023-12-08 10:40 (UTC) |
|
luau-bin
|
0.622-1 |
0 |
0.00
|
A fast, small, safe, gradually typed embeddable scripting language derived from Lua |
tee
|
2024-04-22 07:26 (UTC) |
|
luajit-git
|
2.1.r140.gc525bcb9-1 |
0 |
0.00
|
Just-In-Time (JIT) compiler for the Lua programming language |
Chocobo1
|
2024-01-08 18:46 (UTC) |
|
luaj
|
0.13.0-3 |
0 |
0.00
|
A flavour of Lua. A reworking and rewriting of the Lua runtime to create a new language. |
shakna
|
2020-09-08 01:10 (UTC) |
|
lua-socket-git
|
3.0.0.r0.g88c8a85-1 |
1 |
0.00
|
Networking support library for the Lua language |
alerque
|
2024-03-26 11:15 (UTC) |
|
lua51-socket-git
|
3.0.0.r0.g88c8a85-1 |
1 |
0.00
|
Networking support library for the Lua language |
alerque
|
2024-03-26 11:15 (UTC) |
|
lua52-socket-git
|
3.0.0.r0.g88c8a85-1 |
1 |
0.00
|
Networking support library for the Lua language |
alerque
|
2024-03-26 11:15 (UTC) |
|
lua53-socket-git
|
3.0.0.r0.g88c8a85-1 |
1 |
0.00
|
Networking support library for the Lua language |
alerque
|
2024-03-26 11:15 (UTC) |
|
lua-moonscript
|
0.5.0-1 |
2 |
0.00
|
Dynamic scripting language that compiles into Lua |
KokaKiwi
|
2023-07-08 12:53 (UTC) |
|
lua51-moonscript
|
0.5.0-1 |
2 |
0.00
|
Dynamic scripting language that compiles into Lua |
KokaKiwi
|
2023-07-08 12:53 (UTC) |
|
lua52-moonscript
|
0.5.0-1 |
2 |
0.00
|
Dynamic scripting language that compiles into Lua |
KokaKiwi
|
2023-07-08 12:53 (UTC) |
|
lua53-moonscript
|
0.5.0-1 |
2 |
0.00
|
Dynamic scripting language that compiles into Lua |
KokaKiwi
|
2023-07-08 12:53 (UTC) |
|
lua-language-server-git
|
2.5.5.r0.g4f74c75c-1 |
11 |
0.00
|
Lua Language Server coded by Lua |
KokaKiwi
|
2021-12-17 11:06 (UTC) |
|
lua-emmy-language-server-bin
|
0.4.19-1 |
1 |
0.00
|
Language server for Lua from the Emmy IntelliJ IDEA plugin. |
Schnouki
|
2022-06-09 09:14 (UTC) |
|
lttoolbox-svn
|
3.3.3.r83054-1 |
1 |
0.00
|
Language-independent machine translation engine and tools to manage language data. |
MarcRiera
|
2017-11-03 07:52 (UTC) |
|
love10
|
0.10.2-4 |
4 |
0.00
|
2D game engine which uses the versatile Lua scripting language |
jose1711
|
2022-04-19 07:38 (UTC) |
|
love09
|
0.9.2-1 |
8 |
0.00
|
An open-source 2D game engine which uses the versatile Lua scripting language to create dynamic gaming experiences |
alloyed
|
2015-12-31 07:23 (UTC) |
|
love-git
|
20240406.92a03719-1 |
72 |
0.00
|
An open-source 2D game engine which uses the versatile Lua scripting language to create dynamic gaming experiences. |
bartbes
|
2024-04-07 11:13 (UTC) |
|
loloswitcher
|
0.39-1 |
1 |
0.00
|
The low level keyboard language switcher for X11 |
vanarok
|
2021-07-10 17:11 (UTC) |
|
lolang
|
0.1.2_alpha-1 |
1 |
0.00
|
A dope programming language |
tierriminator
|
2018-01-07 23:39 (UTC) |
|
logtalk
|
3.74.0-1 |
1 |
0.00
|
Object-Oriented Logic Programming Language |
eugeneai
|
2024-02-12 03:25 (UTC) |
|
locale-en_at-git
|
r31.3541f07-1 |
1 |
0.00
|
English language locale for Austria (en_AT) |
mokman
|
2020-08-18 20:46 (UTC) |
|
localchat-bin
|
0.11.0-1 |
0 |
0.00
|
Chat with generative language models locally on your computer with zero setup. |
zxp19821005
|
2024-03-14 02:15 (UTC) |
|
clang40
|
4.0.1-8 |
3 |
0.00
|
C language family frontend for LLVM |
arthaud
|
2020-12-13 06:07 (UTC) |
|
clang35
|
3.5.2-8 |
1 |
0.00
|
C language family frontend for LLVM |
pure-aur
|
2021-10-13 11:24 (UTC) |
|
llm-git
|
0.1.1.r592.g9376078-1 |
0 |
0.00
|
An ecosystem of Rust libraries for working with large language models |
Porous3247
|
2024-04-07 15:16 (UTC) |