Alexander Diemand's repositories
prolog-utilities
a collection of utilities in Prolog
cardano4all
Building the Cardano node and tools
sizebounded
Size bounded buffer as a secure data structure in C++
.github
Github settings for all repos in this organisation
crypto-ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
duckdb_containers
duckdb executables for Linux/x86_64, Linux/aarch64, Darwin/x86_64, Darwin/arm64, Windows/x86_64, FreeBSD/amd64, FreeBSD/arm64
forked_arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
forked_gluten
Reusable runtime library for network protocols
forked_ocaml-h2
An HTTP/2 implementation written in pure OCaml
forked_ocaml-thrift-lib
Thrift library for OCaml extracted from Thrift sources
forked_thrift
Apache Thrift
ghcide
A library for building Haskell IDE tooling
hsMonitoring
This project provides logging and benchmarking for the purpose of system and process monitoring.
kubian
Connecting all sorts of computers into a Kubernetes cluster based on Debian
libsystemd-journal
Haskell bindings to libsystemd-journal
ml-cpp-chrono
OCaml embedded cross-platform C++ <chrono>
ml-cpp-cstdio
OCaml embedded cross-platform C++ <cstdio>
ml-cpp-filesystem
OCaml embedded cross-platform C++ <filesystem>
ml-grpc-examples
testing and evaluating gRPC in OCaml
nixos-install-scripts
collection of one-shot scripts to install NixOS on various server hosters and other hardware. [maintainer=@happysalada]
os-metrics
capture operating system metrics on Windows, macOSX, Linux, BSD
pl_kafka
Prolog interface to Apache Kafka
pl_lmdb
Prolog interface to LMDB (Lightning Memory-mapped Database)
r_kafka
Interfacing R and Apache Kafka
raggregator
Aggregates reddit messages
stream-cpp
Streaming in C++