|
kissat
|
3.1.1-2 |
1 |
0.65
|
A keep it simple and clean bare metal SAT solver written in C |
meadow
|
2024-03-23 14:25 (UTC) |
|
i3-gnome-pomodoro-git
|
r92.7fe1895-3 |
5 |
0.59
|
Integrate gnome-pomodoro into i3 |
meadow
|
2024-02-25 22:34 (UTC) |
|
cflow
|
1.7-2 |
12 |
0.07
|
A C program flow analyzer |
meadow
|
2024-04-04 22:12 (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) |
|
virtme-ng
|
1.23-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-03-29 12:08 (UTC) |
|
sortty
|
1.8-1 |
0 |
0.00
|
Sorting algorithms in the terminal |
meadow
|
2024-04-06 16:23 (UTC) |
|
python-plottable
|
0.1.5-1 |
0 |
0.00
|
Beautifully customized tables with matplotlib |
meadow
|
2024-04-17 22:39 (UTC) |
|
ocaml-toml
|
7.1.0-1 |
0 |
0.00
|
OCaml library providing a parser, a serializer and a printer for TOML |
meadow
|
2024-03-17 18:26 (UTC) |
|
ocaml-ocamlgraph-git
|
2.1.0.r12.g4c0fbca-1 |
2 |
0.00
|
Graph library for OCaml |
meadow
|
2024-03-28 00:57 (UTC) |
|
ocaml-ocamlgraph
|
2.1.0-2 |
5 |
0.00
|
Graph library for OCaml |
meadow
|
2024-03-28 00:57 (UTC) |
|
ocaml-iso8601
|
0.2.6-1 |
0 |
0.00
|
ISO 8601 and RFC 3339 date parsing for OCaml |
meadow
|
2024-03-17 15:20 (UTC) |
|
ocaml-grain_dypgen
|
0.2-1 |
0 |
0.00
|
Self-extensible parsers and lexers for OCaml |
meadow
|
2024-03-17 16:38 (UTC) |
|
cpotree-git
|
1.0.r5.gdc13ad1-3 |
0 |
0.00
|
Potree Utilities |
meadow
|
2024-03-28 01:29 (UTC) |
|
cpotree
|
1.0-2 |
0 |
0.00
|
Potree Utilities |
meadow
|
2024-03-28 01:41 (UTC) |
|
cadical
|
1.9.5-1 |
2 |
0.00
|
A simple CDCL satisfiability solver |
meadow
|
2024-03-26 23:08 (UTC) |
|
bitwuzla-git
|
0.4.0.r33.g72cad5f-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-03-30 17:40 (UTC) |
|
bitwuzla
|
0.4.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-03-30 17:19 (UTC) |
|
bitwuzla-doc
|
0.4.0-1 |
0 |
0.00
|
Documentation for the Bitwuzla SMT solver |
meadow
|
2024-03-30 17:19 (UTC) |
|
binsec
|
0.8.2-2 |
0 |
0.00
|
Open-source toolset to help improve software security at the binary level |
meadow
|
2024-03-30 17:57 (UTC) |