|
paq8o
|
9-1 |
32 |
0.00
|
PAQ8 series of archivers, resurrected by new maintainers |
bitwave
|
2015-08-31 22:36 (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) |
|
python-moviepy
|
1.0.3-4 |
11 |
0.23
|
Video editing with Python |
bitwave
|
2021-12-15 16:56 (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) |
|
dms
|
1.6.0-2 |
7 |
0.00
|
UPnP DLNA Digital Media Server |
bitwave
|
2023-06-15 17:28 (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-proglog
|
0.1.10-1 |
6 |
0.22
|
Log and progress bar manager for console, notebooks, web... |
bitwave
|
2022-05-07 09:56 (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) |
|
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) |
|
python-scenedetect
|
0.6.2-1 |
5 |
0.10
|
A cross-platform, OpenCV-based video scene detection program and Python library. |
bitwave
|
2023-09-10 11:06 (UTC) |
|
novelwriter
|
2.3.1-1 |
5 |
0.66
|
A markdown-like document editor for writing novels |
bitwave
|
2024-04-07 11:37 (UTC) |
|
zpipe
|
201-3 |
4 |
0.00
|
Incremental Journaling Backup Utility and Archiver |
bitwave
|
2024-04-07 11:35 (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) |
|
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) |
|
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) |
|
pngthermal
|
0.2a-2 |
1 |
0.00
|
pseudo thermal view of PNG compression efficiency |
bitwave
|
2023-12-22 14:27 (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) |
|
ddumbfs
|
1.1-2 |
1 |
0.00
|
a fast inline deduplication filesystem for Linux. Based on FUSE |
bitwave
|
2021-06-28 08:30 (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-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) |