opkssh
OpenPubkey SSH tools for OpenID SSH logins (program)
opkssh (OpenPubkey SSH) is a tool which enables ssh to be used with
OpenID Connect allowing SSH access management via identities like
alice@example.com instead of long-lived SSH keys. It does not replace
ssh, but rather generates ssh public keys that contain PK Tokens and
configures sshd to verify the PK Token in the ssh public key. These
PK Tokens contain standard OpenID Connect ID Tokens. This protocol
builds on the OpenPubkey
(https://github.com/openpubkey/openpubkey/blob/main/README.md) which
adds user public keys to OpenID Connect without breaking
compatibility with existing OpenID Provider.
libghc-language-c99-prof
Impl. of C99 AST that strictly follows the standard; profiling libraries
This package contains an implementation of the C99 AST as described in
<http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf>. Sticking closely
to this standard assures us that the program we deal with is a valid C99
program.
eztrace
Automatic execution trace generation for HPC - tools
EZTrace is a tool that aims at generating automatically execution traces
from HPC (High Performance Computing) programs. It generates execution
trace files that can be interpreted by visualization tools such as
ViTE. It uses LD_PRELOAD and dlsym() to intercept calls to the usual HPC
primitives, to be observed.
libeztrace0
Automatic execution trace generation for HPC - runtime libraries
EZTrace is a tool that aims at generating automatically execution traces
from HPC (High Performance Computing) programs. It generates execution
trace files that can be interpreted by visualization tools such as
ViTE. It uses LD_PRELOAD and dlsym() to intercept calls to the usual HPC
primitives, to be observed.
libuucd-ocaml
decode data on Unicode characters off XML (runtime files)
This OCaml module decodes data from the Unicode character database
from their XML representation, to provide high-level access so
that efficient representations can be extracted.
janus-tools
general purpose WebRTC server/gateway - helper tools
janus is a general purpose WebRTC server/gateway
with a minimal footprint.