_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/

Enter the query into the form above. You can look for specific version of a package by using @ symbol like this: gcc@10.

API method:

GET /api/packages?search=hello&page=1&limit=20

where search is your query, page is a page number and limit is a number of items on a single page. Pagination information (such as a number of pages and etc) is returned in response headers.

If you'd like to join our channel webring send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.


afl-dyninst 1.0.0
Dependencies: aflplusplus@4.34c dyninst@13.0.0
Channel: loftix
Location: loftix/fuzzing.scm (loftix fuzzing)
Home page: https://trong.loang.net/~cnx/afl-dyninst
Licenses: AGPL 3+ ASL 2.0
Build system: gnu
Synopsis: Dyninst integration for AFL++
Description:

Dyninst integration for AFL++

fuzzolic-showmap 4.34c
Dependencies: llvm@20.1.8 clang@20.1.8 lld@20.1.8 gcc@14.3.0 gmp@6.3.0 python@3.11.14 qemu@5.2.50-0.790d212
Channel: loftix
Location: loftix/fuzzing.scm (loftix fuzzing)
Home page: https://aflplus.plus/
Licenses: ASL 2.0
Build system: gnu
Synopsis: Security-oriented fuzzer
Description:

AFLplusplus is a security-oriented fuzzer that employs a novel type of compile-time instrumentation and genetic algorithms to automatically discover clean, interesting test cases that trigger new internal states in the targeted binary. This substantially improves the functional coverage for the fuzzed code. The compact synthesized corpora produced by the tool are also useful for seeding other, more labor- or resource-intensive testing regimes down the road. It is a fork of American Fuzzy Lop fuzzer and features:

  • A more recent qemu version.

  • More algorithms like collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, etc.

civl 1.22
Dependencies: antlr3@3.5.2 antlr4@4.10.1 why3@1.7.2 z3@4.13.0 java-antlr4-runtime@4.10.1 java-stringtemplate@4.0.8
Channel: loftix
Location: loftix/model-checking.scm (loftix model-checking)
Home page: https://vsl.cis.udel.edu/trac/civl/wiki
Licenses: GPL 3
Build system: ant
Synopsis: Concurrency intermediate verification language
Description:

CIVL is a framework encompassing

  • a programming language, CIVL-C, which adds to C a number of concurrency primitives, as well as the to define functions in any scope. Together, these features make for a very expressive concurrent language that can faithfully represent programs using various APIs and parallel languages, such as MPI, OpenMP, CUDA, and Chapel. CIVL-C also provides a number of primitives supporting verification.

  • a model checker which uses symbolic execution to verify a number of safety properties of CIVL-C programs. The model checker can also be used to verify that two CIVL-C programs are functionally equivalent.

  • a number of translators from various commonly-used concurrency languages/APIs to CIVL-C (currently, MPI, OpenMP, Pthreads, and CUDA).

python-pacfix 0.0.3
Propagated dependencies: python-pysmt@0.9.6
Channel: loftix
Location: loftix/synthesis.scm (loftix synthesis)
Home page: https://github.com/hsh814/pacfix-python
Licenses: Expat
Build system: pyproject
Synopsis: PAC-learning-based program systhesizer
Description:

Pacfix systhesizes predicate expressions for program repair from values in possitive and negative examples using a PAC learning algorithm.

syminfer 2.0.2b-0.7e1ebec
Dependencies: civl@1.22 java-asm@6.0 openjdk@25 python-pycparser@2.22 python-sympy@1.13.3 z3@4.13.0
Channel: loftix
Location: loftix/synthesis.scm (loftix synthesis)
Home page: https://github.com/dynaroars/dig
Licenses: Expat
Build system: pyproject
Synopsis: Numerical invariant generation tool
Description:

SymInfer is an invariant generation tool that discovers program properties at arbitrary program locations (e.g., loop invariants, post conditions). It infers program invariants or properties over program execution traces or program source code. SymInfer supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.

taosc 0.0.4
Dependencies: dyninst@13.0.0
Channel: loftix
Location: loftix/synthesis.scm (loftix synthesis)
Home page: https://trong.loang.net/~cnx/taosc
Licenses: AGPL 3+
Build system: gnu
Synopsis: Emergency binary patcher
Description:

Taosc generates emergent fixes for binaries.

Page: 1234
Total results: 78