Marcus Granado's repositories
compare
Compare HAR files.
datatracker
The day-to-day front-end to the IETF database for people who work on IETF standards.
forkexecd
Service for starting and managing other services
Idris2
A purely functional programming language with first class types
Idris2-Ocaml
OCaml backend for Idris2
jaeger-ui
Web UI for Jaeger
jmeter-backend-newrelic
JMeter Backend to store metrics in New Relic
linux
Linux kernel source tree
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-opentelemetry
Instrumentation for https://opentelemetry.io
ocaml-qmp
A Qemu Message Protocol (QMP) client in OCaml
ocaml-rpc
Light library to deal with RPCs in OCaml
Peano_Book
English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
postgresql-ocaml
OCaml-bindings for the PostgreSQL database
promscale
[DEPRECATED] Promscale is a unified metric and trace observability backend for Prometheus, Jaeger and OpenTelemetry built on PostgreSQL and TimescaleDB.
qemu-tpm
QEMU with CUSE vTPM support
swtpm
Libtpms-based TPM emulator with socket, character device, and Linux CUSE interface.
taurus
Automation-friendly framework for Continuous Testing by
TDengine
TDengine is an open source, high-performance, cloud native time-series database optimized for Internet of Things (IoT), Connected Cars, Industrial IoT and DevOps.
tpm-emulator
The famous tpm-emulator by Mario Strasser, previously hosted on BerliOs
xcp-idl
Interface descriptions for services running on an XCP host.
xen
Unofficial mirror of xenbits.xen.org/xen.git
xen-api
XCP xen-api
xenops-cli
CLI for controlling the xenopsd, the xapi domain manager
xenopsd
XCP toolstack domain manager