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.