haskell-agda-language-server
|
0.2.1-22 |
1 |
0.00
|
An implementation of language server protocal (LSP) for Agda 2. |
phijor
|
2022-08-21 15:11 (UTC) |
i3barfodder
|
0.3.0-2 |
3 |
0.00
|
A powerful status line generator for i3bar, the status bar of the window manager i3. |
phijor
|
2016-01-31 18:21 (UTC) |
lua-luaprompt
|
0.8-1 |
2 |
0.00
|
An embeddable Lua command prompt as well as a stand-alone interpreter with pretty-printing and autocompletion. |
phijor
|
2023-09-10 13:16 (UTC) |
mopidy-notify
|
0.2.1-2 |
0 |
0.00
|
Mopidy extension for showing desktop notifications |
phijor
|
2023-11-18 19:39 (UTC) |
mopidy-soundcloud
|
3.0.2-1 |
23 |
0.00
|
Mopidy extension for playing music from SoundCloud |
phijor
|
2023-02-19 15:15 (UTC) |
pokefinder
|
4.1.2-1 |
1 |
0.00
|
Cross platform Pokémon RNG tool |
phijor
|
2023-08-13 07:29 (UTC) |
pokefinder-git
|
2.5.0.r4.g48ab194-1 |
0 |
0.00
|
Cross platform Pokémon RNG tool |
phijor
|
2020-03-21 11:57 (UTC) |
python-dacite
|
1.8.1-2 |
11 |
0.47
|
Simplify creation of data classes (PEP 557) from dictionaries. |
phijor
|
2023-07-16 14:13 (UTC) |
python-qtsass
|
0.3.0-2 |
0 |
0.00
|
Compile SCSS files to Qt stylesheets |
phijor
|
2022-02-27 11:38 (UTC) |
python-soundcloud-v2
|
1.3.7-2 |
9 |
0.47
|
Python wrapper for the v2 SoundCloud API |
phijor
|
2024-04-29 09:21 (UTC) |
kigo-git
|
v14.12.0.59.g62e3750-1 |
0 |
0.00
|
An open-source implementation of the popular Go game. (GIT version) |
philacs
|
2016-03-13 09:30 (UTC) |
libmathview-git
|
r1278.a007fd2-1 |
0 |
0.00
|
A library for rendering MathML documents |
philacs
|
2015-08-30 10:45 (UTC) |
autoupdate
|
3-1 |
5 |
0.00
|
Download packages to update automatically. |
philanecros
|
2017-05-09 23:48 (UTC) |
python-mwcleric-git
|
237876c-1 |
0 |
0.00
|
General purpose tools for MediaWiki editing using Python |
philipnelson99
|
2022-06-03 23:23 (UTC) |
python-mwrogue-git
|
1cae5a2-1 |
0 |
0.00
|
A library is a client for connecting to, and occasionally editing, the Fandom/Gamepedia esports wikis |
philipnelson99
|
2022-06-03 23:21 (UTC) |
ccalc
|
1.6.5-0 |
1 |
0.00
|
Calculator with expression simplification that lets you define new functions and constants |
PhilippHochmann
|
2021-06-15 15:34 (UTC) |
fernanda
|
0.27.1_beta60-1 |
1 |
0.00
|
Editor for drafting long-form fiction |
philipplenk
|
2023-03-16 14:16 (UTC) |
aa3d
|
1.0-5 |
13 |
0.00
|
ASCII art stereogram generator |
phillid
|
2018-05-04 06:38 (UTC) |
annepro2-tools-git
|
r19.d10d476-1 |
2 |
0.00
|
Alternative firmware update tool for the Anne Pro 2 keyboard |
phillid
|
2020-08-29 05:37 (UTC) |
beef
|
1.0.2-1 |
8 |
0.00
|
Flexible interpreter for the Brainfuck programming language |
phillid
|
2018-07-24 22:31 (UTC) |
blind-git
|
1.1.r140.g7fd0d92-1 |
0 |
0.00
|
Suckless command line video editor |
phillid
|
2018-05-04 05:47 (UTC) |
brewtarget
|
3.0.11-1 |
10 |
0.00
|
Beer calculator compatible with BeerSmith. Generates instructions from the recipe and interactive mash designer. |
phillid
|
2024-02-04 15:38 (UTC) |
cattle
|
1.2.2-1 |
10 |
0.00
|
Toolkit for the Brainfuck programming language |
phillid
|
2018-07-24 22:29 (UTC) |
dodo-git
|
r130.4df8fe0-1 |
0 |
0.00
|
Scriptable in-place file editor |
phillid
|
2018-05-04 05:30 (UTC) |
farbfeld
|
4-2 |
9 |
0.00
|
lossless image format which is easy to parse, pipe and compress |
phillid
|
2018-05-04 05:52 (UTC) |
farbfeld-git
|
4.r0.gab5e3df-1 |
1 |
0.00
|
lossless image format which is easy to parse, pipe and compress |
phillid
|
2018-04-12 00:37 (UTC) |
gimp-plugin-make-anaglyph
|
1-1 |
2 |
0.00
|
Gimp plugin to create stereoscopic 3D anaglyph photos from a stereo pair |
phillid
|
2022-11-19 07:47 (UTC) |
lightdm-webkit-theme-petrichor-git
|
2.0.r2.g8074f7d-1 |
4 |
0.00
|
Simple and tidy theme for LightDM's webkit2 greeter |
phillid
|
2018-10-09 06:56 (UTC) |
mount-gtk
|
1.4.4-1 |
31 |
0.00
|
A simple graphical front end for udisks and mount in GTK3 |
phillid
|
2018-05-04 05:52 (UTC) |
paramano
|
0.72-1 |
74 |
0.00
|
Docking battery monitor and CPU governer controller (fork of trayfreq) |
phillid
|
2022-11-19 08:18 (UTC) |
qbrew
|
0.4.1-6 |
9 |
0.00
|
Homebrewer's beer recipe calculator |
phillid
|
2018-05-02 05:28 (UTC) |
sent-git
|
r125.72d33d4-1 |
4 |
0.00
|
Simple plain-text presentation tool |
phillid
|
2018-05-04 06:06 (UTC) |
ttf-oxygen
|
1:5.4.3-5 |
28 |
1.00
|
A desktop/gui font family for integrated use with the KDE desktop |
phillid
|
2020-07-12 06:08 (UTC) |
z80asm
|
1.8-2 |
6 |
0.00
|
A Z80 assembler written in c |
phillid
|
2018-05-04 06:07 (UTC) |
astah-community
|
7.2.0-2 |
35 |
0.00
|
Lightweight, easy-to-use, and free UML2.x modeler |
phillipe
|
2021-03-30 04:07 (UTC) |
minivmacii
|
36.04-1 |
3 |
0.06
|
a miniature Macintosh II emulator |
phillipk
|
2023-11-26 23:20 (UTC) |
ruby-jekyll-paginate
|
1.1.0-2 |
7 |
0.00
|
Built-in Pagination Generator for Jekyll |
Phils3r
|
2018-09-10 13:05 (UTC) |
ruby-jekyll-paginate-v2
|
3.0.0-1 |
0 |
0.00
|
Pagination Generator for Jekyll 3 (enhanced replacement for the old built-in jekyll-paginate gem) |
Phils3r
|
2023-04-26 14:57 (UTC) |
ruby-jekyll-regex-replace
|
1.1.0-1 |
0 |
0.00
|
Simple module to allow using regular expression replacing via liquid filters |
Phils3r
|
2023-04-26 14:56 (UTC) |
ruby-puppet-strings
|
4.1.0-1 |
0 |
0.00
|
Puppet documentation via YARD |
Phils3r
|
2023-09-13 23:41 (UTC) |
ruby-rgen
|
0.9.1-1 |
16 |
0.00
|
Ruby Modelling and Generator Framework |
Phils3r
|
2023-11-14 11:35 (UTC) |
zhlt
|
34-1 |
0 |
0.00
|
goldSrc map compiling tools (bsp, csg, rad, vis, ripend) |
Phils3r
|
2023-12-13 16:33 (UTC) |
mlvd
|
0.4.1-1 |
0 |
0.00
|
A minimal Mullvad WireGuard client |
phirecc
|
2023-07-27 14:50 (UTC) |
wgnord
|
0.2.1-1 |
6 |
0.87
|
A NordVPN Wireguard ("NordLynx") client in POSIX shell |
phirecc
|
2024-05-13 20:53 (UTC) |
pacman-log-orphans-hook
|
1.1-2 |
24 |
2.02
|
hook to check whether there are any packages marked as unrequired (orphans) via pacman -Qttdq after every pacman run |
phiresky
|
2022-05-31 09:44 (UTC) |
qdirstat
|
1.9-2 |
139 |
3.68
|
Qt-based directory statistics (KDirStat/K4DirStat without any KDE - from the original KDirStat author) |
phiresky
|
2024-02-23 03:36 (UTC) |
timetrackrs-git
|
0.1.0.r6.gd33a51a-3 |
0 |
0.00
|
automatically track your pc usage with custom data processing. inspired by arbtt. |
phiresky
|
2023-04-11 21:59 (UTC) |
giph
|
1.1.1-2 |
3 |
0.00
|
video recorder that records the desktop, a window or a selection |
phisch
|
2020-11-19 01:46 (UTC) |
giph-git
|
1.1.1.r6.g6cee978-1 |
1 |
0.00
|
video recorder that records the desktop, a window or a selection |
phisch
|
2022-05-06 19:08 (UTC) |
phinger-cursors
|
2.0-1 |
25 |
2.05
|
Most likely the most over-engineered cursor theme. |
phisch
|
2024-04-07 02:47 (UTC) |