Alexander Diemand

OCaml bindings to libcurl

No description provided.

a collection of utilities in Prolog

Prolog interface to Apache Kafka

Connecting all sorts of computers into a Kubernetes cluster based on Debian

Github settings for all repos in this organisation

Calculate Cardano epoch number for a date, and format the date of an epoch; rust to wasm

Cardano block <-> time calculator

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]

duckdb executables for Linux/x86_64, Linux/aarch64, Darwin/x86_64, Darwin/arm64, Windows/x86_64, FreeBSD/amd64, FreeBSD/arm64

Tiny Erlang VM

A simple wrapper around OCurl.

Interfacing R and Apache Kafka

OCaml embedded cross-platform C++ <cstdio>

Thrift library for OCaml extracted from Thrift sources

No description provided.

OCaml embedded cross-platform C++ <filesystem>

web3 authentication

collection of one-shot scripts to install NixOS on various server hosters and other hardware. [maintainer=@happysalada]

This project provides logging and benchmarking for the purpose of system and process monitoring.

capture operating system metrics on Windows, macOSX, Linux, BSD

Courageous Solutions to Challenging Questions

Haskell bindings to libsystemd-journal

Aggregates reddit messages

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing

Apache Thrift

Apache Thrift BinaryPorotocol for JavaScript

testing and evaluating gRPC in OCaml