Pinned Repositories
Cardano_Enterprise
Cardano Db-Sync as a Service
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
prolog-utilities
a collection of utilities in Prolog
elykseer-ml
formally specified & verified implementation of eLyKseeR in Coq / OCaml
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/time4block
Cardano block <-> time calculator
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/.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_AtomVM
Tiny Erlang VM
CodiePP/forked_ezcurl
A simple wrapper around OCurl.
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_ocurl
OCaml bindings to libcurl
CodiePP/forked_thrift
Apache Thrift
CodiePP/forked_vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
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/raggregator
Aggregates reddit messages
CodiePP/redir_docker
CodiePP/web3-auth
web3 authentication