Skip to content
View CodiePP's full-sized avatar
🔬
.
🔬
.
Block or Report

Block or report CodiePP

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. gitalk gitalk Public

    literate C++ programming on GitHub

    Shell 1

  2. prolog-utilities prolog-utilities Public

    a collection of utilities in Prolog

    Prolog 3 2

  3. sizebounded sizebounded Public

    Size bounded buffer as a secure data structure in C++

    C++

  4. cardano4all cardano4all Public

    Building the Cardano node and tools

    Shell 1

  5. kubian kubian Public

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

  6. ml-cpp-cstdio ml-cpp-cstdio Public

    OCaml embedded cross-platform C++ <cstdio>

    OCaml