Pinned Repositories
bc2sql
query blockchain explorer and output SQL for statistical analyses
binance_currencies
Price charts of crypto currencies from Binance
cabal-dependencies
extract dependencies from a Haskell project (cabal files) and analyze with Prolog for direct and transitive dependencies among packages
cardano4all
Building the Cardano node and tools
elykseer-base
cryptographic data archive; written in F#; envisaged to stay another 10 years
gitalk
literate C++ programming on GitHub
kubian
Connecting all sorts of computers into a Kubernetes cluster based on Debian
ml-cpp-cstdio
OCaml embedded cross-platform C++ <cstdio>
prolog-utilities
a collection of utilities in Prolog
sizebounded
Size bounded buffer as a secure data structure in C++
CodiePP's Repositories
CodiePP/prolog-utilities
a collection of utilities in Prolog
CodiePP/cardano4all
Building the Cardano node and tools
CodiePP/gitalk
literate C++ programming on GitHub
CodiePP/kubian
Connecting all sorts of computers into a Kubernetes cluster based on Debian
CodiePP/ml-cpp-cstdio
OCaml embedded cross-platform C++ <cstdio>
CodiePP/sizebounded
Size bounded buffer as a secure data structure in C++
CodiePP/.github
Github settings for all repos in this organisation
CodiePP/cardano-documentation
CodiePP/CQ2CS
Courageous Solutions to Challenging Questions
CodiePP/crypto-ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
CodiePP/duckdb_containers
duckdb executables for Linux/x86_64, Linux/aarch64, Darwin/x86_64, Darwin/arm64, Windows/x86_64, FreeBSD/amd64, FreeBSD/arm64
CodiePP/forked_arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
CodiePP/forked_gluten
Reusable runtime library for network protocols
CodiePP/forked_ocaml-h2
An HTTP/2 implementation written in pure OCaml
CodiePP/forked_ocaml-thrift-lib
Thrift library for OCaml extracted from Thrift sources
CodiePP/forked_thrift
Apache Thrift
CodiePP/hsMonitoring
This project provides logging and benchmarking for the purpose of system and process monitoring.
CodiePP/libsystemd-journal
Haskell bindings to libsystemd-journal
CodiePP/ml-cpp-chrono
OCaml embedded cross-platform C++ <chrono>
CodiePP/ml-cpp-filesystem
OCaml embedded cross-platform C++ <filesystem>
CodiePP/ml-grpc-examples
testing and evaluating gRPC in OCaml
CodiePP/nixos-install-scripts
collection of one-shot scripts to install NixOS on various server hosters and other hardware. [maintainer=@happysalada]
CodiePP/os-metrics
capture operating system metrics on Windows, macOSX, Linux, BSD
CodiePP/pl_kafka
Prolog interface to Apache Kafka
CodiePP/pl_lmdb
Prolog interface to LMDB (Lightning Memory-mapped Database)
CodiePP/r_kafka
Interfacing R and Apache Kafka
CodiePP/raggregator
Aggregates reddit messages
CodiePP/redir_docker
CodiePP/stream-cpp
Streaming in C++
CodiePP/web3-auth
web3 authentication