boogie-git
|
0.r5030.8448ac1c-1 |
2 |
0.00
|
Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver |
joojoo
|
2020-04-26 07:41 (UTC) |
bitscope-chart
|
2.0.FK22M-1 |
4 |
0.00
|
Bitscope chart software for oscilloscopes |
enteenteente
|
2016-02-02 14:55 (UTC) |
bedstead-fonts-powerline
|
1.0-5 |
1 |
0.00
|
Bedstead is a family of outline fonts based on the characters produced by the Mullard SAA5050 series of Teletext Character Generators. Patched for powerline |
Indeo
|
2022-05-19 05:58 (UTC) |
bedstead-fonts
|
1.0-4 |
1 |
0.00
|
Bedstead is a family of outline fonts based on the characters produced by the Mullard SAA5050 series of Teletext Character Generators. |
Indeo
|
2022-05-19 06:00 (UTC) |
battery-stats-git
|
0.5.6.11.g8a42539-2 |
2 |
0.00
|
Log battery charge, show gnuplot graphs. |
kleintux
|
2022-12-20 15:02 (UTC) |
battctl-git
|
0.0.3.r0.g081b86b-1 |
1 |
0.00
|
Battery charging thresold control and deamon. Mostly for Librem 14 laptops |
primalmotion
|
2021-09-03 20:34 (UTC) |
bash-pinyin-completion
|
r18.66c9ba5-1 |
1 |
0.00
|
complete path name based upon the pinyin acronym of Chinese characters |
yetist
|
2017-06-06 05:27 (UTC) |
barchart
|
0.2.0-1 |
0 |
0.00
|
Print a bar chart from the command line |
djmattyg007
|
2021-06-30 12:08 (UTC) |
b2pf
|
0.10-1 |
0 |
0.00
|
A small library of functions for converting ‘base’ characters in Unicode strings into appropriate ‘presentation forms’ for display or printing. |
aksr
|
2023-09-28 08:47 (UTC) |
auth0-bin
|
0.11.7-1 |
0 |
0.00
|
auth0 is the command line to supercharge your development workflow |
lomonosow
|
2022-04-22 12:14 (UTC) |
astah-professional
|
9.0.0-1 |
19 |
0.00
|
Full-Featured Software Modeling Tool for creating UML, ER Diagrams, DFD, Flowchart and more to create a clear understanding of your software design among teams. Easy-to-use UML2.x modeler |
jflake
|
2023-03-21 09:33 (UTC) |
asa
|
1.2-1 |
0 |
0.00
|
Convert Fortran carriage control characters |
bim9262
|
2022-07-07 01:23 (UTC) |
arkade-bin
|
1:0.8.46-1 |
0 |
0.00
|
Your one-stop CLI for Kubernetes. provides a simple CLI with strongly-typed flags to install charts and apps to your cluster in one command. |
ayr-ton
|
2022-10-16 03:14 (UTC) |
aribb24-git
|
1.0.3.r5.g5e9be27-1 |
0 |
0.00
|
A library for ARIB STD-B24, decoding JIS 8 bit characters and parsing MPEG-TS stream |
Chocobo1
|
2023-12-26 18:48 (UTC) |
ardentryst-git
|
r48.a135dba-2 |
38 |
0.00
|
An action/RPG sidescoller with a focus on story and character development |
kleintux
|
2022-06-02 12:31 (UTC) |
arcticfox-monitor-bin
|
1.0.0-1 |
0 |
0.00
|
A simple device monitoring tool for vape battery mods with Arcticfox firmware. cloud chart_with_upwards_trend Works on macOS and Linux. |
Nefelim4ag
|
2018-03-14 00:36 (UTC) |
archarm-mobile-fde-installer-git
|
1.0.0-1 |
1 |
0.00
|
Script to setup Full-Ddisk-Encryption on Arch Linux ARM for PinePhone and PineTab |
atomicfs
|
2021-11-13 15:49 (UTC) |
application-inspector-bin
|
1.9.16-1 |
0 |
0.00
|
A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with a json based rules engine (binary release) |
begin-theadventu
|
2023-12-30 13:26 (UTC) |
android-x86-libiconv
|
1.16-2 |
0 |
0.00
|
Provides libiconv.so and libcharset.so (Android x86) |
Martchus
|
2020-03-05 17:59 (UTC) |
android-x86-64-libiconv
|
1.16-2 |
0 |
0.00
|
Provides libiconv.so and libcharset.so (Android x86-64) |
Martchus
|
2020-03-05 17:59 (UTC) |
android-armv7a-eabi-libiconv
|
1.16-2 |
0 |
0.00
|
Provides libiconv.so and libcharset.so (Android armv7a-eabi) |
Martchus
|
2020-03-05 17:59 (UTC) |
android-aarch64-qt6-charts
|
6.7.0-1 |
0 |
0.00
|
Provides a set of easy to use chart components (android) |
Martchus
|
2024-04-04 08:55 (UTC) |
android-aarch64-libiconv
|
1.16-2 |
0 |
0.00
|
Provides libiconv.so and libcharset.so (Android aarch64) |
Martchus
|
2020-03-05 17:59 (UTC) |
algobuild
|
0.85-1 |
0 |
0.00
|
Algobuild is a simple flow chart creator and pseudocode executor written in Java. |
massivebox
|
2021-05-17 10:22 (UTC) |
acer-wmi-battery-dkms-git
|
r13.da45c71-3 |
0 |
0.00
|
For Acer laptops -- kernel module to set Battery Charge Limit to 80%. |
ryanbarillos
|
2024-04-27 02:36 (UTC) |
abeceda_convertor-git
|
r10.7157e67-1 |
0 |
0.00
|
Python script adding auxiliary characters for text typeset in Abeceda_v4.ttf font |
jose1711
|
2022-03-23 12:55 (UTC) |
35c3_char-dkms-git
|
0.0.3r2-1 |
1 |
0.00
|
Creates a char device with the content 35c3 |
Kloenk
|
2018-12-17 15:16 (UTC) |