ledgerproject Goto Github PK

keypairoom-demo

ledger.tts

Ledger TTS (Time Stamping Service)

liv_backend

Backend of LiV Project

liv_blockchain-explorer

A light-weight open source block explorer for Quorum-based blockchain networks

liv_frontend

Frontend for LiV Project

liv_frontend_2.0

moncon

Paywall with private payments based on credentials

nym-pcc

orvium-backend

orvium-frontend

This is the frontend application for Orvium project

orvium-ux

This repo contains the orvium ux components and a demo app to test them

patio_backend

Django app plugged on the SaaS backend to save the energy logs, provide them to frontend and make performance analysis

patio_device_service

Contains the software and scripts that are going to be running on the PATIO device based on a RPi 3b+

patio_frontend

Frontend for the SaaS where PATIO publishes the energy usage information to be shown to the users and consumers in the building/community/HOA/market

restroom-mw-ledger.tts

A middleware to make operations on the Ledger TTS, based on Zenroom.

safepkt

Research paper On The Termination of Borrow Checking for Rust and a web application, CLI application and VSCode extension for running static analysis of rust-based smart contracts with a ready-to-be-verified project example.

safepkt-ink

Parity's ink! to write smart contracts

safepkt_assert

Assertions and assumptions for SafePKT annotated contracts

safepkt_backend

CLI and HTTP application for running static analysis of rust-based smart contracts

safepkt_cli

Command line client for SafePKT backend

safepkt_frontend

Frontend application for running static analysis of rust-based programs

safepkt_paper

On the Termination of Borrow Checking for Rust

safepkt_rust-verification-tools

SafePKT Flavor of RVT (a collection of tools/libraries to support both static and dynamic verification of Rust programs.)

safepkt_smart-contract-example

Smart Contract Verification Example project for SafePKT verifier

safepkt_vscode-plugin

Visual Studio Code Plugin for verifying rust-based smart-contract with SafePKT

sensix-power-map-backend

Sensix PowerMap Backend

sensix-power-map-frontend

Sensix PowerMap Frontend

sensix-power-monitor

Sensix PowerMonitor

youchoose.ai

The framework to empower content creatos and get control, analytics and agency over Youtube videos

zen-web-ext

Web extensions encapsulating Zenroom functionality