node-stack-trace

Get v8 stack traces as an array of CallSite objects for Node.js

Node.js is an event-based server-side JavaScript engine.

zarchive-tools

tool for creating and reading zstd-compressed files

ZArchive is yet another file archive format. Think of zip, tar, 7z, etc. but with the requirement of allowing random-access reads and supporting Zstandard compression.

libcoq-unicoq

enhanced unification algorithm for Coq

This package provides a new unification algorithm, replacing the existing one through a plugin.

qt6-quick3d-examples

Qt 6 Quick 3D examples

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

libace-inet-7.0.8

ACE Inet protocol library

This package provides an ACE addon library for clients (and possibly servers at some point) using Inet protocols, such as HTTP or FTP.

libmonolith-ocaml

framework for strong random testing of OCaml libraries (runtime)

Monolith offers facilities for **testing an OCaml library** (for instance, a data structure implementation) by **comparing it against a reference implementation**. It can be used to perform either random testing or fuzz testing.