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) |
easyboard
|
0.1.0-2 |
0 |
0.00
|
Whiteboard for Project Planning, Mind Mapping, Note Taking, and more. |
dillpickledev
|
2024-01-31 19:13 (UTC) |
easytag-opensuse-ogg-patch
|
2.4.3-9 |
2 |
0.07
|
Simple application for viewing and editing tags in audio files, using OpenSUSE patch |
yrlf
|
2024-01-30 20:21 (UTC) |
ltchiptool
|
4.10.1-1 |
0 |
0.00
|
Universal, easy-to-use GUI flashing/dumping tool for BK7231, RTL8710B and RTL8720C. |
alufers
|
2024-01-30 14:44 (UTC) |
python-datastruct
|
1.0.0-1 |
0 |
0.00
|
Combination of struct and dataclasses for easy parsing of binary formats |
alufers
|
2024-01-30 12:43 (UTC) |
nodejs-qunit
|
2.20.0-2 |
0 |
0.00
|
An easy-to-use JavaScript unit testing framework. |
orphan
|
2024-01-29 18:24 (UTC) |
transmission-noxunlei-cli
|
4.0.5-1 |
1 |
0.00
|
Fast, easy, and free BitTorrent client (CLI tools, daemon and web client), patched to ban Xunlei (a well-known leecher client) |
hexhu
|
2024-01-29 06:49 (UTC) |
transmission-noxunlei-gtk
|
4.0.5-1 |
1 |
0.00
|
Fast, easy, and free BitTorrent client (GTK+ GUI), patched to ban Xunlei (a well-known leecher client) |
hexhu
|
2024-01-29 06:49 (UTC) |
transmission-noxunlei-qt
|
4.0.5-1 |
1 |
0.00
|
Fast, easy, and free BitTorrent client (Qt GUI), patched to ban Xunlei (a well-known leecher client) |
hexhu
|
2024-01-29 06:49 (UTC) |
libtransmission-noxunlei
|
4.0.5-1 |
1 |
0.00
|
Fast, easy, and free BitTorrent client (shared library), patched to ban Xunlei (a well-known leecher client) |
hexhu
|
2024-01-29 06:49 (UTC) |
python-progress
|
1.6-8 |
8 |
0.09
|
Easy to use progress bars for Python |
carsme
|
2024-01-28 22:51 (UTC) |
python-perscache
|
0.6.1-1 |
1 |
0.10
|
An easy to use decorator for persistent memoization |
carsme
|
2024-01-28 22:50 (UTC) |
dict
|
0.1.0-1 |
0 |
0.00
|
An easy to use english dictionary for the command line. |
connor
|
2024-01-28 00:18 (UTC) |
ocaml-tsort
|
2.1.0-1 |
0 |
0.00
|
Easy to use and user-friendly topological sort module for OCaml |
dpeukert
|
2024-01-27 23:15 (UTC) |
easytax-ag-2022
|
1.3-1 |
2 |
0.00
|
Aargau tax declaration software. |
soloturn
|
2024-01-27 18:06 (UTC) |
r-r.filesets
|
2.15.1-1 |
0 |
0.00
|
Easy Handling of and Access to Files Organized in Structured Directories |
BioArchLinuxBot
|
2024-01-24 18:02 (UTC) |
ef3usb
|
1.94-1 |
1 |
0.00
|
All-in-1 utility for the EasyFlash3 cartridge and its USB connection to the PC |
fatmike
|
2024-01-22 20:42 (UTC) |
tailscale-git
|
1.59.6+t4e822c031-1 |
1 |
0.00
|
A mesh VPN that makes it easy to connect your devices, wherever they are. |
timothy_gu
|
2024-01-21 19:19 (UTC) |
python-privy-git
|
6.0.0.r67.624bb58-3 |
1 |
0.00
|
An easy, fast lib to correctly password-protect your data |
yochananmarqos
|
2024-01-21 18:47 (UTC) |
python-privy
|
6.0.0-1 |
0 |
0.00
|
An easy, fast lib to correctly password-protect your data |
yochananmarqos
|
2024-01-21 18:47 (UTC) |
nemo-folder-icons
|
3.0.1-3 |
1 |
0.00
|
Nemo extension that makes changing folders icons easy! |
yochananmarqos
|
2024-01-21 16:46 (UTC) |
nautilus-folder-icons
|
3.0.1-4 |
15 |
0.00
|
Nautilus extension that makes changing folders icons easy! |
yochananmarqos
|
2024-01-21 16:27 (UTC) |
ocaml-ezjsonm
|
1.3.0-2 |
0 |
0.00
|
An easy interface on top of the Jsonm library. |
lthms
|
2024-01-21 14:34 (UTC) |
cvassistant-git
|
3.1.0.r156.7fd97f4-2 |
0 |
0.00
|
Helps you create specialized resumes in Word .docx format fast and easy |
yochananmarqos
|
2024-01-20 20:53 (UTC) |
deepin-kwin-git
|
v5.15.4.r4204.g567199313-1 |
1 |
0.00
|
An easy to use, but flexible, composited Window Manager |
justforlxz
|
2024-01-20 08:08 (UTC) |
mcuxpresso-ide
|
11.9.0_2144-1 |
3 |
0.00
|
An easy-to-use integrated development environment (IDE) for creating, building, debugging, and optimizing your application. From BIN package distributed by NXP. |
lowRAM
|
2024-01-19 08:58 (UTC) |
easierconnect
|
TestBuild15.r4.e01671c-2 |
1 |
0.00
|
Sangfor EasyConnect protocol reimplementation in Go |
Misaka13514
|
2024-01-18 14:28 (UTC) |
python-spectra
|
0.0.11-1 |
0 |
0.00
|
Easy color scales and color conversion for Python |
mschu
|
2024-01-16 09:10 (UTC) |
python-pyaml-env
|
1.2.1-1 |
0 |
0.00
|
Zero-dependency Python package for easy throttling with asyncio support |
mschu
|
2024-01-15 15:59 (UTC) |
gut
|
0.3.0-2 |
1 |
0.02
|
An easy-to-use git client |
kseistrup
|
2024-01-15 15:58 (UTC) |
python-throttler
|
1.2.2-1 |
0 |
0.00
|
Zero-dependency Python package for easy throttling with asyncio support |
mschu
|
2024-01-15 14:27 (UTC) |
swingbench
|
2.7.0.1430-1 |
0 |
0.00
|
An easy to use Oracle database load generator. |
den23513
|
2024-01-15 12:53 (UTC) |
python-lcu-driver
|
3.0.1-1 |
0 |
0.00
|
A library made to communicate with League of Legends Client API in a easy way |
TheFeelTrain
|
2024-01-14 02:43 (UTC) |
python-mwparserfromhell
|
0.6.6-1 |
4 |
0.00
|
Python package that provides an easy-to-use and outrageously powerful parser for MediaWiki wikicode. |
dvorapa
|
2024-01-12 17:52 (UTC) |
photonvision-bin
|
v2024.1.2-2 |
1 |
0.01
|
free, fast, and easy-to-use computer vision solution for the FIRST Robotics Competition |
Isaec
|
2024-01-12 07:32 (UTC) |
python-yocto-cooker-git
|
1.4.0.r0.g1fc0160-1 |
0 |
0.00
|
yocto-cooker is a easy yocto manager. |
louson
|
2024-01-11 20:55 (UTC) |
python-yocto-cooker
|
1.4.0-1 |
0 |
0.00
|
yocto-cooker is a easy yocto manager. |
louson
|
2024-01-11 20:50 (UTC) |
xviewer
|
3.4.4-1 |
45 |
1.06
|
A simple and easy to use image viewer. X-Apps Project. |
ion203
|
2024-01-09 16:34 (UTC) |
shvcli-git
|
r68.3a41dbe-2 |
0 |
0.00
|
An easy-to-use CLI interface to access the SHV network |
syyyr
|
2024-01-08 17:22 (UTC) |
mbedtls-dtls
|
3.5.0-1 |
0 |
0.00
|
An open source, portable, easy to use, readable and flexible TLS library (with DTLS support) |
thrasibule
|
2024-01-08 15:24 (UTC) |
perl-xml-easy
|
0.011-1 |
0 |
0.00
|
XML processing with a clean interface |
jast
|
2024-01-05 01:03 (UTC) |
python-sacn
|
1.9.0-1 |
0 |
0.00
|
sACN / E1.31 module for easy handling of DMX data over ethernet |
mika.cousin
|
2024-01-04 10:22 (UTC) |
simward-git
|
0.5.r2.gf2a9254-1 |
0 |
0.00
|
Command line program for easy TCP / UDP port forwarding |
severach
|
2024-01-04 08:29 (UTC) |
merecat-git
|
r999.606774e-2 |
0 |
0.00
|
Small and made-easy HTTP/HTTPS server based on Jef Poskanzer's thttpd |
Tpaefawzen
|
2024-01-04 03:10 (UTC) |
symbolic-preview
|
0.0.9-1 |
3 |
0.00
|
Symbolics made easy |
igor-dyatlov
|
2023-12-29 18:46 (UTC) |
detect-it-easy-bin
|
3.09-1 |
8 |
1.01
|
Program for determining types of files for Windows, Linux and MacOS. |
AsukaMinato
|
2023-12-29 13:05 (UTC) |
smsync
|
3.5.2-1 |
0 |
0.00
|
smsync (Smart Music Sync) keeps huge music collections in sync and is takes care of conversions between different file formats. It's an easy-to-use command line application for Linux |
mipi
|
2023-12-28 14:44 (UTC) |
firealpaca-appimage
|
2.11.15-1 |
0 |
0.00
|
Simple and easy digital painting software - AppImage |
Iettuce
|
2023-12-26 17:41 (UTC) |
apyr
|
0.1.0-1 |
0 |
0.00
|
A simple, fast, and easy to use TUI log browser. |
demo-exe
|
2023-12-26 03:56 (UTC) |
python-exscript-git
|
2.6.r30.g9d5b035-3 |
0 |
0.00
|
A Python module making Telnet and SSH easy |
SelfRef
|
2023-12-24 21:20 (UTC) |