ocaml-ppx_js_style
|
0.15.0-2 |
0 |
0.00
|
Code style checker for Jane Street Packages |
eclairevoyant
|
2022-06-14 18:40 (UTC) |
ocaml-ppx_ignore_instrumentation
|
0.17.0-2 |
0 |
0.00
|
Ignore Jane Street specific instrumentation extensions |
dpeukert
|
2024-06-02 18:09 (UTC) |
ocaml-ppxlib_jane
|
0.17.0-2 |
0 |
0.00
|
Utilities for working with Jane Street AST constructs |
dpeukert
|
2024-06-02 18:10 (UTC) |
ocaml-jst-config
|
0.17.0-2 |
0 |
0.00
|
Compile-time configuration for Jane Street libraries |
dpeukert
|
2024-06-02 18:06 (UTC) |
ocaml-jane-street-headers
|
0.17.0-2 |
0 |
0.00
|
Jane Street C header files |
dpeukert
|
2024-06-02 18:06 (UTC) |
nody-greeter
|
1.5.2-1 |
0 |
0.00
|
LightDM greeter that allows to create wonderful themes with web technologies. Made in Node.js |
haxibami
|
2023-04-15 17:38 (UTC) |
nodejs-sweet
|
3.0.15-1 |
0 |
0.00
|
Hygienic Macros for JavaScript |
orphan
|
2020-05-13 12:03 (UTC) |
nodejs-carto
|
1.2.0-1 |
0 |
0.00
|
Mapnik Stylesheet Compiler |
orphan
|
2019-01-28 21:46 (UTC) |
nextmeeting
|
1.5.2-1 |
0 |
0.00
|
An utility tool to show you next meeting with gcalcli |
chmouel
|
2024-04-17 12:05 (UTC) |
nextcloud-app-maps
|
1.4.0-1 |
0 |
0.00
|
OpenStreetMap layers including POIs |
sergej
|
2024-05-10 10:15 (UTC) |
neoleo-git
|
12.1.r2.g76082a9-1 |
0 |
0.00
|
Lightweight curses spreadsheet based on GNU oleo |
orphan
|
2022-07-14 17:56 (UTC) |
neetdraw-git
|
r72.e08c63f-1 |
0 |
0.00
|
Terminal drawing application with multiplayer support |
premysl
|
2021-11-16 11:10 (UTC) |
neet-git
|
r63.87d4719-1 |
0 |
0.00
|
A script to easily play and manage your anime/drama/series |
cosarara97
|
2016-12-08 15:51 (UTC) |
navi-git
|
2.17.0.r10.g5860498-1 |
0 |
0.00
|
An interactive cheatsheet tool for the command-line. |
orphan
|
2021-08-31 04:13 (UTC) |
navi-bash
|
0.18.3-1 |
0 |
0.00
|
An interactive cheatsheet tool for the command-line (Unmaintained v1 bash version) |
itmecho
|
2020-03-22 09:58 (UTC) |
musescore3-git
|
3.7.0.r20092.7d7b79d-1 |
0 |
0.00
|
Create, play and print beautiful sheet music (Jojo Schmitz fork) |
eckso
|
2024-04-11 22:06 (UTC) |
musescore-midi
|
4.3.2-1 |
0 |
0.00
|
Create, play and print beautiful sheet music / With patch for midi playback support |
arakmar
|
2024-06-12 10:18 (UTC) |
muse2pokecrystal
|
1.0.0-1 |
0 |
0.00
|
Convert MusicXML sheet music to the pokecrystal music macro format. |
hyperdriveguy
|
2022-11-21 07:46 (UTC) |
mingw-w64-libosmscout-git
|
r8254.d82b2ae-1 |
0 |
0.00
|
A C++ library for offline map rendering, routing and location lookup based on OpenStreetMap data (mingw-w64) |
syyyr
|
2023-10-25 08:18 (UTC) |
mercator-git
|
0.2.0.r10.37de51a-1 |
0 |
0.00
|
A TUI OpenStreetMap explorer |
vitaliikuzhdin
|
2024-06-10 17:23 (UTC) |
mercator-bin
|
0.2.0-1 |
0 |
0.00
|
A TUI OpenStreetMap explorer |
vitaliikuzhdin
|
2024-06-10 16:59 (UTC) |
mercator
|
0.2.0-1 |
0 |
0.00
|
a TUI openstreetmap explorer |
HalosGhost
|
2023-01-18 05:57 (UTC) |
meeting-trigger
|
1.0.1-1 |
0 |
0.00
|
Monitor apps using the mic (on pulseaudio) to trigger automations |
hgabreu
|
2022-02-27 17:51 (UTC) |
marine_greetd
|
0.3.2-1.0 |
0 |
0.00
|
A simple cli login dm just for wayland |
SteinGates
|
2023-10-21 10:53 (UTC) |
maperitive-bin
|
2.4.3-3 |
0 |
0.00
|
A desktop application which renders maps in real time using OpenStreetMap (OSM) and other sources of data. |
dreieck
|
2024-02-14 14:32 (UTC) |
luminos-greeter
|
1.0.1-1 |
0 |
0.00
|
Customizable LightDM Webkit Greeter |
ekoputrapratama
|
2019-06-14 08:01 (UTC) |
lightdm-webkit2-theme-xinux
|
1.1-1 |
0 |
0.00
|
Xinux Webkit2 greeter theme |
uwussimo
|
2022-08-10 06:35 (UTC) |
lightdm-webkit2-theme-obsidian
|
1.2.1-1 |
0 |
0.00
|
A simple dark theme for lightdm-webkit2-greeter |
Darkhogg
|
2019-07-27 11:51 (UTC) |
lightdm-webkit2-theme-alter-nosplash
|
3.0-3 |
0 |
0.00
|
AlterLinux webkit2 greeter theme |
hayao
|
2021-02-18 09:44 (UTC) |
lightdm-webkit2-theme-alter-git
|
r58.82f1b9d-1 |
0 |
0.00
|
AlterLinux webkit2 greeter theme |
hayao
|
2020-03-05 03:04 (UTC) |
lightdm-webkit-theme-luminos-git
|
0.5.0-1 |
0 |
0.00
|
Customizable LightDM Webkit Greeter Theme |
ekoputrapratama
|
2020-07-29 11:46 (UTC) |
lightdm-webkit-theme-luminos
|
0.5.0-1 |
0 |
0.00
|
Customizable LightDM Webkit Greeter Theme |
ekoputrapratama
|
2020-07-29 11:56 (UTC) |
lightdm-webengine-greeter-git
|
r12.bad0705-1 |
0 |
0.00
|
A modern, visually appealing greeter for LightDM. C++ rewrite of Web Greeter 3.0 |
SolarAquarion
|
2020-04-26 20:27 (UTC) |
lightdm-web-greeter-theme-arch
|
1:0.1.0-1 |
0 |
0.00
|
Minimal theme for web-greeter using humorous wallpapers about Arch Linux. |
orphan
|
2022-03-26 14:28 (UTC) |
lightdm-theme-neon-git
|
1:r60.bed6b26-1 |
0 |
0.00
|
Modern and customizable theme for web-greeter with a nostalgic neon look |
hertg
|
2022-07-07 19:42 (UTC) |
lightdm-theme-neon-bin
|
0.2.4-1 |
0 |
0.00
|
Modern and customizable theme for web-greeter with a nostalgic neon look, binary version |
hertg
|
2024-04-14 22:02 (UTC) |
lightdm-theme-neon
|
0.2.4-1 |
0 |
0.00
|
Modern and customizable theme for web-greeter with a nostalgic neon look |
hertg
|
2024-04-14 22:02 (UTC) |
lightdm-thedesk-greeter
|
1.0-1 |
0 |
0.00
|
LightDM greeter for theDesk |
SolarAquarion
|
2023-07-18 11:10 (UTC) |
lightdm-qtquick-greeter-git
|
r18.d1c29b1-1 |
0 |
0.00
|
New Greeter for LightDM written in Qt |
hayao
|
2021-02-07 06:38 (UTC) |
lightdm-qt5-greeter-git
|
r111.ddba411-1 |
0 |
0.00
|
lightdm-qt5-greeter is a simple frontend for the lightdm displaymanager, written in c++ and qt5. |
orphan
|
2020-11-10 17:07 (UTC) |
lightdm-kbswitch-greeter-git
|
0.1.r1.gfd79f5e-8 |
0 |
0.00
|
Python and Gtk+ greeter for LightDM |
bearvrrr
|
2024-05-10 09:17 (UTC) |
lightdm-gtk-greeter-cancellable-autologin
|
1:2.0.9-3 |
0 |
0.00
|
GTK+ greeter for LightDM with cancellable autologin patch |
pezcurrel
|
2024-03-13 14:14 (UTC) |
lightdm-enso-os-greeter-git
|
r195.bf0d53c-2 |
0 |
0.00
|
A fork of Pantheon greeter. |
orphan
|
2021-05-27 20:10 (UTC) |
lightdm-cmd-greeter
|
1.2.0-1 |
0 |
0.00
|
super minimal, non-graphical, terminal based desktop session launcher via lightdm |
greyltc
|
2021-05-02 08:20 (UTC) |
lightdm-autologin-greeter-git
|
v1.0.r6.5fb7a66-1 |
0 |
0.00
|
Autologin greeter for LightDM - nodm successor |
javum
|
2020-04-23 16:43 (UTC) |
lightdm-arctica-greeter
|
0.99.5.0-1 |
0 |
0.00
|
The greeter (login screen) application for Arctica. It is implemented as a LightDM greeter. |
SolarAquarion
|
2024-04-25 01:29 (UTC) |
libxslt-git
|
1.1.38.r9.g8c2e8031-1 |
0 |
0.00
|
XML stylesheet transformation library |
Chocobo1
|
2023-09-06 08:31 (UTC) |
libpam-x2go
|
0.0.2.0-1 |
0 |
0.00
|
Arctica Greeter: Remote logon support for X2Go (PAM module) |
SolarAquarion
|
2020-04-21 17:11 (UTC) |
libpam-freerdp2
|
2.0.0-1 |
0 |
0.00
|
Arctica Greeter: Remote logon support for freerdp (PAM module) |
SolarAquarion
|
2020-04-21 19:27 (UTC) |
libosmscout-git
|
r8217.74095f1-1 |
0 |
0.00
|
A C++ library for offline map rendering, routing and location lookup based on OpenStreetMap data |
syyyr
|
2023-09-14 10:05 (UTC) |