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

Organizations

@eLyKseeR @Blockchain-Data-Analytics

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 Loading

  1. prolog-utilities prolog-utilities Public

    a collection of utilities in Prolog

    Prolog 4 3

  2. kubian kubian Public

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

  3. eLyKseeR/elykseer-ml eLyKseeR/elykseer-ml Public

    formally specified & verified implementation of eLyKseeR in Coq / OCaml

    OCaml 2

  4. Blockchain-Data-Analytics/BCA-Service-Tokenization Blockchain-Data-Analytics/BCA-Service-Tokenization Public

    Services feeded by blockchain tokens, including micro-payments

    Svelte 1

  5. eLyKseeR/elykseer-cpp eLyKseeR/elykseer-cpp Public

    eLyKseeR basis in C++

    C++

  6. eLyKseeR/elykseer-crypto eLyKseeR/elykseer-crypto Public

    base library that provides cryptographic functions to elykseer implementations

    C++