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.18-1 |
1 |
0.10
|
git hooks manager |
me44ic05
|
2024-06-26 07:06 (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-2 |
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-06-19 20:27 (UTC) |
bitwuzla-doc
|
0.5.0-2 |
0 |
0.00
|
Documentation for the Bitwuzla SMT solver |
meadow
|
2024-06-19 20:27 (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.02
|
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.16
|
Integrate gnome-pomodoro into i3 |
meadow
|
2024-02-25 22:34 (UTC) |
kissat
|
3.1.1-4 |
1 |
0.18
|
A keep it simple and clean bare metal SAT solver written in C |
meadow
|
2024-06-19 17:39 (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.2-1 |
6 |
0.00
|
Shared nothing, fully searchable, document oriented cluster datastore |
meanjollies
|
2024-06-19 22:44 (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.39
|
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) |
gretl
|
2024b-1 |
12 |
0.01
|
A cross-platform software package for econometric analysis, written in the C programming language |
meanjollies
|
2024-05-21 23:23 (UTC) |
htslib
|
1.20-1 |
19 |
0.00
|
A C library for high-throughput sequencing data formats |
meanjollies
|
2024-04-15 18:29 (UTC) |
ipbt
|
20240501.bc876ea-1 |
9 |
0.00
|
A high-tech ttyrec player |
meanjollies
|
2024-05-03 18:28 (UTC) |
julius
|
4.6-3 |
2 |
0.57
|
A high-performance, two-pass large vocabulary continuous speech recognition decoder software |
meanjollies
|
2024-01-31 02:20 (UTC) |
klog
|
2.3.4-1 |
8 |
0.00
|
A multiplatform free hamradio logger |
meanjollies
|
2024-03-03 01:41 (UTC) |
mosdepth
|
0.3.4-1 |
1 |
0.00
|
Fast BAM/CRAM depth calculation for WGS, exome, or targeted sequencing |
meanjollies
|
2023-06-26 02:57 (UTC) |
mothur
|
1.48.1-1 |
1 |
0.00
|
A bioinformatics program for analyzing microbial communities. |
meanjollies
|
2024-05-16 02:16 (UTC) |
musikcube
|
3.0.2-1 |
23 |
0.48
|
A terminal-based cross-platform music player, audio engine, metadata indexer, and server |
meanjollies
|
2024-01-31 02:23 (UTC) |
musikcube-bin
|
3.0.2-1 |
8 |
0.00
|
A terminal-based cross-platform music player, audio engine, metadata indexer, and server |
meanjollies
|
2024-01-31 02:25 (UTC) |
ncdc
|
1.24-2 |
39 |
0.93
|
A lightweight direct connect client with a friendly ncurses interface |
meanjollies
|
2024-05-14 09:17 (UTC) |
nostromo
|
2.1-1 |
0 |
0.00
|
A simple, fast, and secure HTTP server |
meanjollies
|
2024-01-31 02:25 (UTC) |