python-python-sat
|
0.1.8.dev9-1 |
1 |
0.00
|
A Python library for prototyping with SAT oracles |
bmwinger
|
2023-09-04 20:16 (UTC) |
python-pymctranslate
|
1.2.23-1 |
1 |
0.49
|
A library of block mappings that can be used to convert from any Minecraft format into any other Minecraft format |
0x9fff00
|
2024-05-02 18:35 (UTC) |
python-pyhanko
|
0.25.0-1 |
1 |
0.00
|
Tools for stamping and signing PDF files |
carsme
|
2024-05-09 10:16 (UTC) |
python-processmappingscanner
|
2.3.2-2 |
1 |
0.00
|
Python module for scanning information on running processes, including mappings, open file-descriptors, process owner, and other information |
kata198
|
2018-09-22 01:15 (UTC) |
python-pixmappy
|
1.0.0-1 |
1 |
0.00
|
Python module for arbitrary mappings from pixels to sky coordinate |
orphan
|
2023-05-22 01:08 (UTC) |
python-kaldi-io
|
0.9.4-1 |
1 |
0.00
|
Python functions for reading kaldi data formats. Useful for rapid prototyping with python. |
orphan
|
2021-08-28 03:39 (UTC) |
python-jaxtyping
|
0.2.28-1 |
1 |
0.00
|
Type annotations and runtime checking for shape and dtype of JAX arrays, and PyTrees. |
daskol
|
2024-03-10 11:39 (UTC) |
python-chex
|
0.1.86-1 |
1 |
0.00
|
A library of utilities for helping to write reliable JAX code |
daskol
|
2024-04-17 12:38 (UTC) |
python-bidict-git
|
0.19.0.r7.g7d60b91-1 |
1 |
0.00
|
bidirectional mapping library for Python |
orphan
|
2020-01-18 20:25 (UTC) |
pymunin
|
0.9.27-2 |
1 |
0.00
|
Python Module for developing Munin Multigraph Monitoring Plugins. |
sleduc
|
2015-06-13 08:56 (UTC) |
psani-profi
|
3.4.01-2 |
1 |
0.00
|
Program that will teach you touchtyping (czech) |
jose1711
|
2020-10-06 19:25 (UTC) |
polyclipping
|
6.4.2-4 |
1 |
0.75
|
Polygon clipping library |
Bevan
|
2024-03-20 14:56 (UTC) |
plod
|
1.9-1 |
1 |
0.00
|
tool for keeping an on-line journal of what you're working on |
pdean
|
2019-10-30 07:52 (UTC) |
pixelitor
|
4.3.1-1 |
1 |
0.00
|
Advanced image editor with support for layers, layer masks, text layers, multiple undo, blending modes, cropping, Gaussian blurring, unsharp masking, histograms, etc. |
FabioLolix
|
2023-09-11 01:54 (UTC) |
pingu
|
0.0.5-1 |
1 |
0.00
|
ping command but with pingu |
KokaKiwi
|
2023-02-09 11:21 (UTC) |
pingtunnel-git
|
2.8.r1.gdc93b2d-1 |
1 |
0.00
|
A tool that advertises TCP/UDP/SOCKS5 traffic as ICMP traffic for forwarding. |
A8PX
|
2023-12-02 12:15 (UTC) |
perl-net-ping
|
2.41-2 |
1 |
0.00
|
Net::Ping - check a remote host for reachability |
bidulock
|
2015-07-17 06:24 (UTC) |
perl-app-cope
|
1.1-4 |
1 |
0.00
|
A wrapper around programs that output to a terminal, to give them colour for utility and aesthetics while still keeping them the same at the text level. |
jvybihal
|
2023-08-11 12:36 (UTC) |
perl-algorithm-loops
|
1.032-1 |
1 |
0.00
|
Algorithm::Loops - looping constructs: NestedLoops, MapCar*, Filter, and NextPermute* |
trizen
|
2019-02-09 05:43 (UTC) |
ownlang
|
1.5.0-3 |
1 |
0.00
|
A scripting functional programming language with dynamic typing |
annimon
|
2019-10-17 18:01 (UTC) |
okteto
|
2.27.1-1 |
1 |
0.00
|
Build better applications by developing and testing your code directly in Kubernetes. |
simonsmh
|
2024-05-10 21:08 (UTC) |
ogmrip
|
1.0.1-7 |
1 |
0.00
|
Libraries and GTK2 interface for DVD ripping using mencoder |
orphan
|
2019-05-04 10:59 (UTC) |
nodejs-ionic-cli
|
6.4.1-1 |
1 |
0.00
|
The Ionic command-line interface (CLI) for developing Ionic apps. |
PhCl
|
2020-04-05 00:33 (UTC) |
nod-git
|
v1.0.r74.g97cfcea-1 |
1 |
0.00
|
Tool for traversing, dumping, and authoring GameCube and Wii disc images |
STB
|
2019-09-06 21:04 (UTC) |
neovim-surround
|
2.2-1 |
1 |
0.00
|
Provides mappings to easily delete, change, and add paired "surroundings" |
MagicAndWires
|
2024-03-10 04:01 (UTC) |
myping
|
0.2-2 |
1 |
0.00
|
ping many things at once and visualize the result |
992jo
|
2021-11-10 13:56 (UTC) |
mycroft
|
0.1-1 |
1 |
0.00
|
File format reverse engineering and rapid prototyping tool. |
nyxxie
|
2017-01-09 02:08 (UTC) |
minetest-colour-hop
|
1.2.4-1 |
1 |
0.00
|
Help the jumping blobs defeat the evil dragons and bring colour back to the world. |
ROllerozxa
|
2024-01-03 22:50 (UTC) |
minetest-build-n-buy
|
2022.08.16-1 |
1 |
0.00
|
A game inspired by Minecraft Championship's Build Mart, where you have to replicate mini build and to get the materials for them, you have to go 'shopping'. |
ROllerozxa
|
2022-10-15 14:06 (UTC) |
mescc-tools
|
1.5.2-1 |
1 |
0.49
|
tools for binary bootstrapping |
micwoj92
|
2024-04-06 23:26 (UTC) |
memavaild-git
|
0.6.r3.g2603a8c-1 |
1 |
0.00
|
Improve responsiveness during heavy swapping: keep amount of available memory. |
orphan
|
2021-03-16 15:48 (UTC) |
mcping-git
|
latest-1 |
1 |
0.00
|
Ping any Minecraft server. |
fantasyzhjk
|
2020-05-10 04:39 (UTC) |
markov-typing-git
|
r209.7116ca7-1 |
1 |
0.00
|
Typing tutor that uses Markov chain to generate random strings. |
akstrfn
|
2018-08-29 20:58 (UTC) |
mapserver-git
|
20220819_b2f0fd240-1 |
1 |
0.00
|
Platform for publishing spatial data and interactive mapping applications to the web |
geosam
|
2022-08-20 18:08 (UTC) |
mapcli-git
|
1.0-2 |
1 |
0.00
|
A command line tool to get srg mappings |
Illyohs
|
2020-06-22 00:26 (UTC) |
lout-dejavu-git
|
61b4690-1 |
1 |
0.00
|
AFM files and KOI8-R mapping for DejaVu TrueType fonts for Lout |
igk
|
2017-12-16 10:44 (UTC) |
lit
|
3.8.5-1 |
1 |
0.00
|
Toolkit for developing, sharing, and running luvit/lua programs and libraries. |
truemedian
|
2022-08-03 14:56 (UTC) |
lib32-harfbuzz-git
|
2.7.1-1 |
1 |
0.00
|
OpenType text shaping engine (32-bit) |
orphan
|
2020-12-13 00:33 (UTC) |
lib32-harfbuzz-icu-git
|
2.7.1-1 |
1 |
0.00
|
OpenType text shaping engine (32-bit) (ICU integration) |
orphan
|
2020-12-13 00:33 (UTC) |
kn
|
0.3.2-1 |
1 |
0.00
|
cd alternative. Navigate by typing abbreviation of paths. |
icewind
|
2022-12-15 17:16 (UTC) |
kicad-library-utils-git
|
r1202.93e559b-1 |
1 |
0.00
|
Some scripts for helping with library development, git checkout |
Salamandar
|
2022-07-11 10:07 (UTC) |
keyplusd-git
|
0.4.0a1.r2.g9793bd3-2 |
1 |
0.00
|
keyboard remapping tool that emulates keyplus firmware |
jem
|
2019-06-12 15:02 (UTC) |
keeex
|
4.0.0-1 |
1 |
0.00
|
Fully operational blockchain solutions for securing, chaining, sharing, signing and timestamping any kind of document, data or process with no alteration. |
keeex
|
2017-11-02 15:35 (UTC) |
kbct-git
|
0.1.0.r48.e0e1139-1 |
1 |
0.00
|
Keyboard keycode mapping utility for Linux supporting layered configuration |
yunmikun2
|
2021-10-10 17:55 (UTC) |
kaudiocreator-git
|
1.3.r886.f21c160-2 |
1 |
0.00
|
A program for ripping and encoding Audio-CDs, encoding files from disk. (GIT version) |
sl1pkn07
|
2024-03-28 16:28 (UTC) |
jsonix-schema-compiler
|
2.3.9-1 |
1 |
0.00
|
Compiles XML Schemas into XML<->JSON mappings for Jsonix. |
jamesan
|
2016-09-05 16:37 (UTC) |
iputils-git
|
20240117.r11.g3400f3a-1 |
1 |
0.00
|
Network monitoring tools, including ping |
Chocobo1
|
2024-03-08 12:15 (UTC) |
ibus-typing-booster-git
|
git-1 |
1 |
0.00
|
A completion input method for faster typing, git version. |
orphan
|
2020-02-20 21:14 (UTC) |
gtsam-git
|
r11053.c6449a82d-2 |
1 |
0.00
|
A library of C++ classes that implement smoothing and mapping (SAM) in robotics and vision, using factor graphs and Bayes networks as the underlying computing paradigm rather than sparse matrices. |
kartikmohta
|
2019-07-07 06:34 (UTC) |
gpd-winmax2_2023-fix-sleep-wakeuptriggers
|
1:20240125.01-1 |
1 |
0.12
|
Script and configuration file to switch off wakeup triggers that prevent the GPD Win Max 2 (2023) laptops from sleeping reliably. |
dreieck
|
2024-01-25 16:04 (UTC) |