Pinned Loading

1. prolog-utilities prolog-utilities Public

   a collection of utilities in Prolog

   Prolog 4 2

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

   Tokenized services funded by stable-coins, micro-payments, automatisation, and front-end|back-end

   Svelte 1