Pinned Repositories
blktap
blktap, vhd stuff
compare
Compare HAR files.
datatracker
The day-to-day front-end to the IETF database for people who work on IETF standards.
deepdream
forkexecd
Service for starting and managing other services
Idris2
A purely functional programming language with first class types
Idris2-Ocaml
OCaml backend for Idris2
idris2-tutorial
jaeger-ui
Web UI for Jaeger
mg12's Repositories
mg12/compare
Compare HAR files.
mg12/datatracker
The day-to-day front-end to the IETF database for people who work on IETF standards.
mg12/forkexecd
Service for starting and managing other services
mg12/Idris2
A purely functional programming language with first class types
mg12/Idris2-Ocaml
OCaml backend for Idris2
mg12/idris2-tutorial
mg12/jaeger-ui
Web UI for Jaeger
mg12/jmeter-backend-newrelic
JMeter Backend to store metrics in New Relic
mg12/linux
Linux kernel source tree
mg12/maestro
Maestro: Netflix’s Workflow Orchestrator
mg12/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
mg12/miller
Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON
mg12/ocaml
The core OCaml system: compilers, runtime system, base libraries
mg12/ocaml-opentelemetry
Instrumentation for https://opentelemetry.io
mg12/ocaml-qmp
A Qemu Message Protocol (QMP) client in OCaml
mg12/opensearch-dbapi
A DBAPI and SQLAlchemy dialect for Opensearch
mg12/Peano_Book
English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
mg12/postgresql-ocaml
OCaml-bindings for the PostgreSQL database
mg12/promscale
[DEPRECATED] Promscale is a unified metric and trace observability backend for Prometheus, Jaeger and OpenTelemetry built on PostgreSQL and TimescaleDB.
mg12/QM
mg12/stable-diffusion
mg12/taurus
Automation-friendly framework for Continuous Testing by
mg12/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.
mg12/thread-local-storage
thread-local storage for OCaml
mg12/varstored
mg12/xcp-idl
Interface descriptions for services running on an XCP host.
mg12/xen
Unofficial mirror of xenbits.xen.org/xen.git
mg12/xen-api
XCP xen-api
mg12/xenops-cli
CLI for controlling the xenopsd, the xapi domain manager
mg12/xenopsd
XCP toolstack domain manager