|
learnx-companion-git
|
1.2.0.r3.g969fe62-1 |
0 |
0.00
|
清华大学网络学堂 App 助手，为 learnX 提供个性化的推送通知支持。 |
water_lift
|
2023-02-16 11:43 (UTC) |
|
learnx-companion-electron-git
|
1.2.0.r3.g969fe62-1 |
0 |
0.00
|
清华大学网络学堂 App 助手，为 learnX 提供个性化的推送通知支持。(using system electron) |
water_lift
|
2023-02-16 11:43 (UTC) |
|
leaps-bin
|
0.9.0-1 |
0 |
0.00
|
A service for collaboratively editing your local files over a web UI, using operational transforms to ensure zero-collision synchronization across any number of editing clients |
orphan
|
2020-05-19 15:00 (UTC) |
|
leao
|
2020.1.0-1 |
4 |
0.00
|
O Carnê-leão é o programa para a tributação do Imposto sobre a Renda das Pessoas Físicas, sob a forma do recolhimento mensal obrigatório, pelo contribuinte, pessoa física, residente no Brasil, que receber rendimentos de outra pessoa física ou do exterior. |
orphan
|
2020-08-09 18:36 (UTC) |
|
leanshot
|
0.5.0-1 |
1 |
0.00
|
Screen capture for Linux. |
mzhang
|
2021-07-14 02:26 (UTC) |
|
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
|
2.9.3-1 |
0 |
0.00
|
A minimalist image viewer based on Leaflet.js and Electron. |
zxp19821005
|
2024-04-12 03:59 (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) |
|
ldtk-bin
|
1.5.3-1 |
0 |
0.00
|
Modern and efficient 2D level editor with a strong focus on user-friendliness |
zxp19821005
|
2024-03-15 01:35 (UTC) |
|
ldt
|
1.4.2-2 |
2 |
0.00
|
IDE for lua language. Standalone eclipse plugin. |
zoe
|
2021-06-14 08:39 (UTC) |