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-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-task2dot
|
0.0.15-1 |
0 |
0.00
|
Convert taskwarrior export to graphviz format and analyse projects |
bitwave
|
2022-05-03 11:31 (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) |
notepadnext-git
|
0.6.3.r19.g4e774b7-2 |
1 |
0.00
|
A cross-platform, reimplementation of Notepad++ |
bitwave
|
2023-08-18 16:21 (UTC) |
pngthermal
|
0.2a-2 |
1 |
0.00
|
pseudo thermal view of PNG compression efficiency |
bitwave
|
2023-12-22 14:27 (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-git
|
1072.8eaf3f02-1 |
1 |
0.00
|
Script-based movie editing with python (git version) |
bitwave
|
2021-12-15 16:57 (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) |
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) |
zpipe
|
201-3 |
4 |
0.00
|
Incremental Journaling Backup Utility and Archiver |
bitwave
|
2024-04-07 11:35 (UTC) |
novelwriter
|
2.4-1 |
5 |
0.50
|
A markdown-like document editor for writing novels |
bitwave
|
2024-04-28 10:16 (UTC) |
python-scenedetect
|
0.6.2-1 |
5 |
0.08
|
A cross-platform, OpenCV-based video scene detection program and Python library. |
bitwave
|
2023-09-10 11:06 (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) |
fastdup
|
0.3-3 |
6 |
0.00
|
A tool to quickly find identical files within directory trees |
bitwave
|
2021-06-25 09:47 (UTC) |
python-proglog
|
0.1.10-1 |
6 |
0.17
|
Log and progress bar manager for console, notebooks, web... |
bitwave
|
2022-05-07 09:56 (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) |
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) |
python-moviepy
|
1.0.3-4 |
11 |
0.17
|
Video editing with Python |
bitwave
|
2021-12-15 16:56 (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) |
paq8o
|
9-1 |
32 |
0.00
|
PAQ8 series of archivers, resurrected by new maintainers |
bitwave
|
2015-08-31 22:36 (UTC) |