leanote
|
2.7.0-1 |
6 |
0.00
|
Note-taking app |
orphan
|
2021-11-19 20:54 (UTC) |
ttf-leander
|
1.000-2 |
0 |
0.00
|
A serif font face from Tension Type with a distressed, eroded look |
alerque
|
2021-11-24 18:22 (UTC) |
lean4-git
|
4.5.0.rc1.r86.gad068824d0-1 |
0 |
0.00
|
An interactive theorem prover |
Chocobo1
|
2024-01-12 09:46 (UTC) |
lean4
|
4.0.0.rc4-1 |
4 |
0.00
|
Lean 4 programming language and theorem prover |
dariost
|
2023-08-31 05:05 (UTC) |
lean3-bin
|
3.4.2-1 |
0 |
0.00
|
Lean Theorem Prover |
orphan
|
2019-11-30 04:08 (UTC) |
lean2-git
|
0.2.3-1 |
0 |
0.00
|
Lean Theorem Prover 2 |
sayantankhan
|
2017-03-13 17:28 (UTC) |
lean-git
|
3.4.1.r4.gb13ac127f-1 |
4 |
0.00
|
Lean Theorem Prover |
mgrabovsky
|
2018-09-21 20:32 (UTC) |
lean-display-manager
|
1.0-1 |
0 |
0.00
|
Lean Display Manager |
valkheim
|
2018-10-19 20:13 (UTC) |
lean-community-bin
|
3.51.1-1 |
0 |
0.00
|
Lean Theorem Prover, maintained by the Lean community |
fanninpm
|
2023-06-04 02:33 (UTC) |
lean-community
|
3.51.1-1 |
2 |
0.00
|
Lean Theorem Prover, maintained by the Lean community |
fanninpm
|
2023-06-04 02:32 (UTC) |
lean-cli-git
|
r821.e6d9791-1 |
1 |
0.00
|
LeanCloud command line tool |
asaka
|
2023-11-09 12:18 (UTC) |
lean-bin
|
3.4.2-1 |
4 |
0.00
|
Lean Theorem Prover |
mgrabovsky
|
2019-02-01 18:28 (UTC) |
leakcanary-shark-cli
|
2.7-1 |
0 |
0.00
|
The Shark Command Line Interface (CLI) enables you to analyze heaps directly from your computer |
neworldlt
|
2021-04-03 19:07 (UTC) |
leaguedisplays-git
|
1.0.992.d3731c5-1 |
0 |
0.00
|
|
grayarcher
|
2018-06-09 16:31 (UTC) |
otf-league-spartan-git
|
2.220.r1.g8811c61-1 |
1 |
0.00
|
A geometric sans-serif revival of ATF’s classic Spartan |
alerque
|
2024-03-27 22:36 (UTC) |
ttf-league-spartan-git
|
2.220.r1.g8811c61-1 |
1 |
0.00
|
A geometric sans-serif revival of ATF’s classic Spartan |
alerque
|
2024-03-27 22:36 (UTC) |
ttf-league-spartan-variable-git
|
2.220.r1.g8811c61-1 |
1 |
0.00
|
A geometric sans-serif revival of ATF’s classic Spartan |
alerque
|
2024-03-27 22:36 (UTC) |
otf-league-spartan
|
1:2.220-1 |
5 |
0.00
|
A geometric sans-serif revival of ATF’s classic Spartan |
alerque
|
2024-03-27 22:33 (UTC) |
ttf-league-spartan
|
1:2.220-1 |
5 |
0.00
|
A geometric sans-serif revival of ATF’s classic Spartan |
alerque
|
2024-03-27 22:33 (UTC) |
ttf-league-spartan-variable
|
1:2.220-1 |
5 |
0.00
|
A geometric sans-serif revival of ATF’s classic Spartan |
alerque
|
2024-03-27 22:33 (UTC) |
league-rpc-linux-git
|
1.0.3.r0.g98dca74-1 |
0 |
0.00
|
League of Legends Discord Rich Presence for Linux (WINE / Lutris) |
TheFeelTrain
|
2024-01-15 22:54 (UTC) |
otf-league-mono
|
1:2.300-1 |
5 |
0.00
|
A monospace typeface inspired by Fira Mono, Libertinus Mono, and Courier |
alerque
|
2022-02-17 14:11 (UTC) |
ttf-league-mono
|
1:2.300-1 |
5 |
0.00
|
A monospace typeface inspired by Fira Mono, Libertinus Mono, and Courier |
alerque
|
2022-02-17 14:11 (UTC) |
ttf-league-mono-variable
|
1:2.300-1 |
5 |
0.00
|
A monospace typeface inspired by Fira Mono, Libertinus Mono, and Courier |
alerque
|
2022-02-17 14:11 (UTC) |
otf-league-gothic
|
1:1.601-1 |
18 |
0.00
|
A revival of an old classic, Alternate Gothic #1 |
alerque
|
2024-03-27 22:29 (UTC) |
ttf-league-gothic
|
1:1.601-1 |
18 |
0.00
|
A revival of an old classic, Alternate Gothic #1 |
alerque
|
2024-03-27 22:29 (UTC) |
league-fonts
|
1:0-4 |
9 |
0.00
|
A package depending on all the fonts from The League of Moveable Type |
alerque
|
2024-03-27 22:25 (UTC) |
league-fonts-variable
|
1:0-4 |
9 |
0.00
|
A package depending on all the fonts from The League of Moveable Type |
alerque
|
2024-03-27 22:25 (UTC) |
otf-league-fonts
|
1:0-4 |
9 |
0.00
|
A package depending on all the fonts from The League of Moveable Type |
alerque
|
2024-03-27 22:25 (UTC) |
ttf-league-fonts
|
1:0-4 |
9 |
0.00
|
A package depending on all the fonts from The League of Moveable Type |
alerque
|
2024-03-27 22:25 (UTC) |
leafview-bin
|
3.1.0-1 |
0 |
0.00
|
A minimalist image viewer based on Leaflet.js and Electron. |
zxp19821005
|
2024-06-11 09:35 (UTC) |
leafpad-noheader
|
0.8.19-1 |
4 |
0.00
|
notepad clone for GTK+ 2.0 with print header disabled |
TrialnError
|
2024-01-12 21:04 (UTC) |
leafnode
|
1.12.0-1 |
1 |
0.00
|
implements a store & forward NNTP proxy (client and server) with IPv4 and IPv6 |
TheLugal
|
2023-11-26 16:31 (UTC) |
leaflet
|
1.4.0-1 |
3 |
0.00
|
A JavaScript library for mobile-friendly interactive maps. |
orphan
|
2019-03-22 08:54 (UTC) |
leafish-git
|
r207.b3b467c-1 |
1 |
0.00
|
Multi-version Minecraft-compatible client written in Rust. |
otreblan
|
2022-05-17 02:43 (UTC) |
leaf-git
|
0.2.11.r13.g5b1582f-2 |
0 |
0.00
|
A lightweight and fast proxy utility tries to include any useful features. |
DuckSoft
|
2021-03-09 06:06 (UTC) |
vim-leaderf-git
|
1.22.r48.g312a13b-1 |
0 |
0.00
|
An efficient fuzzy finder that helps to locate files, buffers, mrus, gtags, etc. on the fly for both vim and neovim. |
sainnhe
|
2021-02-15 10:03 (UTC) |
neovim-leaderf-git
|
1.22.r48.g312a13b-1 |
0 |
0.00
|
An efficient fuzzy finder that helps to locate files, buffers, mrus, gtags, etc. on the fly for both vim and neovim. |
sainnhe
|
2021-02-15 10:03 (UTC) |
le-temps-des-escargots-git
|
r165.863137e-1 |
0 |
0.00
|
Small Game About 1871 Paris Commune |
uso
|
2022-03-18 15:57 (UTC) |
le-phonk-git
|
r45.c68985a-1 |
0 |
0.00
|
The distortion plugin you will ever own |
apoorv569
|
2024-02-23 05:48 (UTC) |
le-git
|
1.16.8-1 |
0 |
0.00
|
A text editor in memorial to Norton Editor with block and binary operations |
severach
|
2022-04-18 03:50 (UTC) |
le
|
1.16.8-1 |
4 |
0.00
|
A text editor in memorial to Norton Editor with block and binary operations |
severach
|
2022-04-18 03:50 (UTC) |
ld_preload_open
|
1-1 |
0 |
0.00
|
This library can trick a process into opening absolute paths from a different location, similar to bind mounts, but without root access |
avkonarev
|
2023-12-03 12:39 (UTC) |
ldt
|
1.4.2-2 |
2 |
0.00
|
IDE for lua language. Standalone eclipse plugin. |
zoe
|
2021-06-14 08:39 (UTC) |
ldscript-generator
|
20.08.00.00-2 |
0 |
0.00
|
This is a python tool based on pydevicetree (GitHub/PyPI) which generates linker scripts for Freedom Metal applications. |
taotieren
|
2021-07-27 10:55 (UTC) |
ldr-translate-qt
|
1.7.0-1 |
1 |
0.00
|
一个翻译软件,更适合kde桌面,专注文献翻译,可以截图翻译、复制翻译 |
yuhldr
|
2023-01-17 16:19 (UTC) |
ldr-translate-gtk
|
1.7.0-1 |
1 |
0.00
|
一个翻译软件,更适合gnome桌面,专注文献翻译,可以截图翻译、复制翻译 |
yuhldr
|
2023-01-17 16:19 (UTC) |
ldpl-git
|
4.4.r41.d27b8e4-1 |
0 |
0.00
|
COBOL inspired language, designed to be expressive, fast, readable and easy to learn. |
mega
|
2019-12-15 21:09 (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) |
ldoc-git
|
1.4.6.r52.gbbd498a-1 |
4 |
0.00
|
LuaDoc-compatible documentation generation system |
alerque
|
2024-03-27 22:21 (UTC) |