zpipe
|
201-3 |
4 |
0.00
|
Incremental Journaling Backup Utility and Archiver |
bitwave
|
2024-04-07 11:35 (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) |
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-scenedetect
|
0.6.2-1 |
5 |
0.09
|
A cross-platform, OpenCV-based video scene detection program and Python library. |
bitwave
|
2023-09-10 11:06 (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-proglog
|
0.1.10-1 |
6 |
0.19
|
Log and progress bar manager for console, notebooks, web... |
bitwave
|
2022-05-07 09:56 (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-moviepy
|
1.0.3-4 |
11 |
0.20
|
Video editing with Python |
bitwave
|
2021-12-15 16:56 (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) |
paq8o
|
9-1 |
32 |
0.00
|
PAQ8 series of archivers, resurrected by new maintainers |
bitwave
|
2015-08-31 22:36 (UTC) |
novelwriter
|
2.3.1-1 |
5 |
0.66
|
A markdown-like document editor for writing novels |
bitwave
|
2024-04-07 11:37 (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) |
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) |
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) |
fastdup
|
0.3-3 |
6 |
0.00
|
A tool to quickly find identical files within directory trees |
bitwave
|
2021-06-25 09:47 (UTC) |
dms
|
1.6.0-2 |
7 |
0.00
|
UPnP DLNA Digital Media Server |
bitwave
|
2023-06-15 17:28 (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) |