ddumbfs
|
1.1-2 |
1 |
0.00
|
a fast inline deduplication filesystem for Linux. Based on FUSE |
bitwave
|
2021-06-28 08:30 (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) |
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) |
dms
|
1.6.0-2 |
7 |
0.00
|
UPnP DLNA Digital Media Server |
bitwave
|
2023-06-15 17:28 (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) |
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) |
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) |
notepadnext-git
|
0.6.3.r19.g4e774b7-2 |
1 |
0.00
|
A cross-platform, reimplementation of Notepad++ |
bitwave
|
2023-08-18 16:21 (UTC) |
novelwriter
|
2.3.1-1 |
5 |
0.66
|
A markdown-like document editor for writing novels |
bitwave
|
2024-04-07 11:37 (UTC) |
paq8o
|
9-1 |
32 |
0.00
|
PAQ8 series of archivers, resurrected by new maintainers |
bitwave
|
2015-08-31 22:36 (UTC) |
pngthermal
|
0.2a-2 |
1 |
0.00
|
pseudo thermal view of PNG compression efficiency |
bitwave
|
2023-12-22 14:27 (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) |
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-git-reviewers
|
0.13.5-1 |
0 |
0.00
|
Suggest reviewers for your git branch |
bitwave
|
2023-07-10 12:12 (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-moviepy
|
1.0.3-4 |
11 |
0.20
|
Video editing with Python |
bitwave
|
2021-12-15 16: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-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-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-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-task2dot
|
0.0.15-1 |
0 |
0.00
|
Convert taskwarrior export to graphviz format and analyse projects |
bitwave
|
2022-05-03 11:31 (UTC) |
vanitygen-git
|
20121024-3 |
6 |
0.00
|
Bitcoin vanity address generator written in C |
bitwave
|
2017-08-05 10:05 (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) |
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) |
zpipe
|
201-3 |
4 |
0.00
|
Incremental Journaling Backup Utility and Archiver |
bitwave
|
2024-04-07 11:35 (UTC) |