Alexander Diemand's repositories
prolog-utilities
a collection of utilities in Prolog
cardano4all
Building the Cardano node and tools
time4block
Cardano block <-> time calculator
ml-cpp-cstdio
OCaml embedded cross-platform C++ <cstdio>
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_AtomVM
Tiny Erlang VM
forked_ezcurl
A simple wrapper around OCurl.
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_ocurl
OCaml bindings to libcurl
forked_thrift
Apache Thrift
forked_vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
hsMonitoring
This project provides logging and benchmarking for the purpose of system and process monitoring.
libsystemd-journal
Haskell bindings to libsystemd-journal
ml-cpp-chrono
OCaml embedded cross-platform C++ <chrono>
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
raggregator
Aggregates reddit messages