sskit-dinit
|
0.8.1b-1 |
0 |
0.00
|
SSKit Dinit service for making snapshots. |
mdomlop
|
2024-03-14 20:41 (UTC) |
sskit-systemd
|
0.8.1b-1 |
0 |
0.00
|
SSKit Systemd service for making snapshots. |
mdomlop
|
2024-03-14 20:44 (UTC) |
systemd-zram
|
1.0-1 |
3 |
0.00
|
Systemd zRAM loader. |
mdomlop
|
2019-03-11 18:17 (UTC) |
wmdocker
|
1.5.1-1 |
0 |
0.00
|
Docking System Tray. |
mdomlop
|
2017-08-05 05:53 (UTC) |
xcursor-retrosmart
|
3.0-1 |
1 |
0.24
|
A retrosmart look collection of cursors for X. |
mdomlop
|
2023-03-14 10:40 (UTC) |
cargo-pkgbuild
|
0.1.1-2 |
4 |
0.02
|
ArchLinux PKGBULD generator from Cargo.toml manifest |
mdorst
|
2022-07-19 08:41 (UTC) |
dotconfig
|
0.2.0-1 |
0 |
0.00
|
A tool for symlinking configuration files from a central repository to their respective locations on the system in a repeatable, configurable way. |
mdorst
|
2022-07-30 06:34 (UTC) |
rodder-git
|
r67.c52c026-1 |
1 |
0.00
|
A user-based package manager in Python3 |
mdrakea3
|
2021-01-31 23:40 (UTC) |
beaker-client
|
28.3-4 |
1 |
0.00
|
Full-stack software and hardware integration testing system - cli |
mdujava
|
2024-01-05 22:16 (UTC) |
beaker-common
|
28.3-4 |
1 |
0.00
|
Full-stack software and hardware integration testing system - common files |
mdujava
|
2024-01-05 22:16 (UTC) |
python-sphinxcontrib-httpdomain
|
1.8.1-1 |
0 |
0.00
|
HTTP domain extension for sphinx |
mdujava
|
2023-06-05 19:48 (UTC) |
check_mate-bin
|
0.3.0-1 |
0 |
0.00
|
Utility program to monitor output of certain commands |
mdziuban
|
2023-07-23 22:41 (UTC) |
cmag
|
0.1.0-1 |
0 |
0.00
|
Interactive analyzer and browser for CMake build systems |
mdziuban
|
2024-03-01 22:57 (UTC) |
iam-policy-json-to-terraform-bin
|
1.8.2-1 |
0 |
0.00
|
Small tool to convert an IAM Policy in JSON format into a Terraform aws_iam_policy_document |
me44ic05
|
2024-05-14 03:22 (UTC) |
lefthook-bin
|
1.6.15-1 |
1 |
0.14
|
git hooks manager |
me44ic05
|
2024-06-04 23:02 (UTC) |
nofi-bin
|
0.2.4-1 |
0 |
0.00
|
An interruption-free notification system for Linux |
me44ic05
|
2023-08-19 04:04 (UTC) |
binsec
|
0.9.1-1 |
0 |
0.00
|
Open-source toolset to help improve software security at the binary level |
meadow
|
2024-06-01 18:55 (UTC) |
bitwuzla
|
0.5.0-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-05-30 00:55 (UTC) |
bitwuzla-doc
|
0.5.0-1 |
0 |
0.00
|
Documentation for the Bitwuzla SMT solver |
meadow
|
2024-05-30 00:55 (UTC) |
bitwuzla-git
|
0.4.0.r51.g31330f2-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-05-14 17:30 (UTC) |
cadical
|
1.9.5-1 |
2 |
0.00
|
A simple CDCL satisfiability solver |
meadow
|
2024-03-26 23:08 (UTC) |
cflow
|
1.7-2 |
12 |
0.03
|
A C program flow analyzer |
meadow
|
2024-04-04 22:12 (UTC) |
cpotree
|
1.0-2 |
0 |
0.00
|
Potree Utilities |
meadow
|
2024-03-28 01:41 (UTC) |
cpotree-git
|
1.0.r5.gdc13ad1-3 |
0 |
0.00
|
Potree Utilities |
meadow
|
2024-03-28 01:29 (UTC) |
i3-gnome-pomodoro-git
|
r92.7fe1895-3 |
5 |
0.25
|
Integrate gnome-pomodoro into i3 |
meadow
|
2024-02-25 22:34 (UTC) |
kissat
|
3.1.1-3 |
1 |
0.28
|
A keep it simple and clean bare metal SAT solver written in C |
meadow
|
2024-05-14 17:53 (UTC) |
ocaml-grain_dypgen
|
0.2-3 |
0 |
0.00
|
Self-extensible parsers and lexers for OCaml |
meadow
|
2024-06-02 15:51 (UTC) |
ocaml-iso8601
|
0.2.6-2 |
0 |
0.00
|
ISO 8601 and RFC 3339 date parsing for OCaml |
meadow
|
2024-06-02 15:55 (UTC) |
ocaml-ocamlgraph
|
2.1.0-3 |
5 |
0.00
|
Graph library for OCaml |
meadow
|
2024-06-02 15:53 (UTC) |
ocaml-ocamlgraph-git
|
2.1.0.r14.g75533f6-1 |
2 |
0.00
|
Graph library for OCaml |
meadow
|
2024-06-02 15:58 (UTC) |
ocaml-toml
|
7.1.0-2 |
0 |
0.00
|
OCaml library providing a parser, a serializer and a printer for TOML |
meadow
|
2024-06-02 15:54 (UTC) |
ocaml-unisim_archisec
|
0.0.8-1 |
0 |
0.00
|
Disassembly metadata and DBA (Dynamic Bitvector Automata) semantics of several instruction set architectures |
meadow
|
2024-06-01 18:24 (UTC) |
python-black-macchiato
|
1.3.0-1 |
0 |
0.00
|
Small utility built on top of the black Python code formatter to enable formatting of partial files |
meadow
|
2024-06-01 13:41 (UTC) |
python-plottable
|
0.1.5-1 |
0 |
0.00
|
Beautifully customized tables with matplotlib |
meadow
|
2024-04-17 22:39 (UTC) |
sortty
|
1.9-2 |
0 |
0.00
|
Sorting algorithms in the terminal |
meadow
|
2024-05-26 12:29 (UTC) |
virtme-ng
|
1.25-1 |
0 |
0.00
|
A tool that allows to easily and quickly recompile and test a Linux kernel, starting from the source code. |
meadow
|
2024-05-21 22:21 (UTC) |
virtme-ng-git
|
v1.22.r0.gba33d94-3 |
0 |
0.00
|
A tool that allows to easily and quickly recompile and test a Linux kernel, starting from the source code. |
meadow
|
2024-02-27 02:46 (UTC) |
fbx2gltf-bin
|
0.9.5-3 |
0 |
0.00
|
A command-line tool for the conversion of the FBX file format to the glTF file format |
Meak
|
2019-04-29 07:52 (UTC) |
mdl-sdk
|
2019.1.1-1 |
1 |
0.00
|
A set of tools to integrate MDL support into rendering applications. |
Meak
|
2020-01-09 15:32 (UTC) |
optix6
|
6.5.0-1 |
0 |
0.00
|
A software development kit for achieving high performance ray tracing on the GPU. |
Meak
|
2020-01-09 15:26 (UTC) |
visrtx
|
0.1.6-1 |
1 |
0.00
|
Visualization framework powered by NVIDIA technology. |
Meak
|
2020-01-09 16:00 (UTC) |
actiona
|
3.10.2-1 |
13 |
0.00
|
A task automation tool that allows you to create and execute action lists |
meanjollies
|
2024-01-31 02:00 (UTC) |
adol-c
|
2.7.2-2 |
3 |
0.00
|
Automatic Differentiation of Algorithms written in C/C++ |
meanjollies
|
2024-01-31 02:04 (UTC) |
afnix
|
3.8.0-3 |
1 |
0.00
|
Multi-threaded functional programming language |
meanjollies
|
2024-05-14 08:55 (UTC) |
bcftools
|
1.20-1 |
8 |
0.00
|
A program for variant calling and manipulating files in the Variant Call Format (VCF) and its binary counterpart BCF |
meanjollies
|
2024-04-15 18:31 (UTC) |
cpp-mini
|
0.9.15-1 |
0 |
0.00
|
Tiny, header only C++ library for manipulating INI files. |
meanjollies
|
2024-01-18 04:20 (UTC) |
crate
|
5.7.1-1 |
6 |
0.00
|
Shared nothing, fully searchable, document oriented cluster datastore |
meanjollies
|
2024-05-07 22:49 (UTC) |
ddwarf
|
0.83-4 |
2 |
0.00
|
Digger Dwarf is a console-based Gopher client |
meanjollies
|
2024-01-31 02:15 (UTC) |
execline
|
2.9.6.0-1 |
8 |
0.59
|
A (non-interactive) scripting language, like sh |
meanjollies
|
2024-06-07 17:50 (UTC) |
fim
|
0.7.1-1 |
28 |
0.00
|
FIM (Fbi IMproved) is a highly customizable and scriptable image viewer. |
meanjollies
|
2024-05-23 02:30 (UTC) |