python-proglog
|
0.1.10-1 |
7 |
0.48
|
Log and progress bar manager for console, notebooks, web... |
bitwave
|
2022-05-07 09:56 (UTC) |
python-moviepy
|
1.0.3-4 |
11 |
0.46
|
Video editing with Python |
bitwave
|
2021-12-15 16:56 (UTC) |
python-scenedetect
|
0.6.2-1 |
5 |
0.21
|
A cross-platform, OpenCV-based video scene detection program and Python library. |
bitwave
|
2023-09-10 11:06 (UTC) |
novelwriter
|
2.2.1-1 |
4 |
0.01
|
A markdown-like document editor for writing novels |
bitwave
|
2024-02-18 13:10 (UTC) |
paq8o
|
9-1 |
32 |
0.01
|
PAQ8 series of archivers, resurrected by new maintainers |
bitwave
|
2015-08-31 22:36 (UTC) |
dms
|
1.6.0-2 |
7 |
0.00
|
UPnP DLNA Digital Media Server |
bitwave
|
2023-06-15 17:28 (UTC) |
kleiner-brauhelfer
|
2.6.2-1 |
8 |
0.00
|
A Qt-based tool for hobby brewer to calculate and manage the beer brewing process. |
bitwave
|
2024-01-07 13:55 (UTC) |
zpaqd
|
7.15-1 |
1 |
0.00
|
a public domain development tool allows you to create, test, debug, and optimize new compression algorithms in streaming format that are compatible with all existing ZPAQ decompressors such as zpaq, zpipe, zpsfx, and the reference decoder |
bitwave
|
2016-08-20 15:46 (UTC) |
isabelle
|
2023-1 |
25 |
0.00
|
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. |
bitwave
|
2023-09-18 11:16 (UTC) |
notepadnext-git
|
0.6.3.r19.g4e774b7-2 |
1 |
0.00
|
A cross-platform, reimplementation of Notepad++ |
bitwave
|
2023-08-18 16:21 (UTC) |
zpipe
|
201-2 |
4 |
0.00
|
Incremental Journaling Backup Utility and Archiver |
bitwave
|
2020-06-18 10:03 (UTC) |
zgrviewer
|
0.10.0-3 |
6 |
0.00
|
A 2.5D graph visualizer that displays graphs specified in the AT&T GraphViz DOT language |
bitwave
|
2016-03-12 10:48 (UTC) |
vanitygen-git
|
20121024-3 |
6 |
0.00
|
Bitcoin vanity address generator written in C |
bitwave
|
2017-08-05 10:05 (UTC) |
python-task2dot
|
0.0.15-1 |
0 |
0.00
|
Convert taskwarrior export to graphviz format and analyse projects |
bitwave
|
2022-05-03 11:31 (UTC) |
python-retype
|
22.8.0-1 |
0 |
0.00
|
Re-apply types from .pyi stub files to your codebase. |
bitwave
|
2022-10-01 11:19 (UTC) |
python-moviepy-git
|
1072.8eaf3f02-1 |
1 |
0.00
|
Script-based movie editing with python (git version) |
bitwave
|
2021-12-15 16:57 (UTC) |
python-monkeytype
|
23.3.0-1 |
1 |
0.00
|
Generating type annotations from sampled production types |
bitwave
|
2023-04-01 10:17 (UTC) |
python-git-reviewers
|
0.13.5-1 |
0 |
0.00
|
Suggest reviewers for your git branch |
bitwave
|
2023-07-10 12:12 (UTC) |
python-cbmc-viewer
|
3.8-1 |
0 |
0.00
|
CBMC viewer produces a browsable summary of CBMC findings |
bitwave
|
2024-01-31 21:36 (UTC) |
python-cbmc-starter-kit
|
2.10-1 |
0 |
0.00
|
CBMC starter kit makes it easy to add CBMC verification to a software project |
bitwave
|
2024-01-31 21:21 (UTC) |
pngthermal
|
0.2a-2 |
1 |
0.00
|
pseudo thermal view of PNG compression efficiency |
bitwave
|
2023-12-22 14:27 (UTC) |
fastdup
|
0.3-3 |
6 |
0.00
|
A tool to quickly find identical files within directory trees |
bitwave
|
2021-06-25 09:47 (UTC) |
ditaa-eps
|
0.2-2 |
2 |
0.00
|
Same as ditaa, but converts output to scalable EPS graphics. Great in LaTeX ;-) |
bitwave
|
2021-05-15 11:37 (UTC) |
dilay
|
1.9.0-1 |
6 |
0.00
|
A 3D sculpting application that provides an intuitive workflow using a number of powerful modeling tool |
bitwave
|
2018-10-10 10:39 (UTC) |
ddumbfs
|
1.1-2 |
1 |
0.00
|
a fast inline deduplication filesystem for Linux. Based on FUSE |
bitwave
|
2021-06-28 08:30 (UTC) |