Pinned Repositories
BackMe.org_scraper-back-end
disemin-android
Disemin-ipfs-client-esp32
ESP32 Arduino library for adding/getting files to IPFS
disemin-middleware
GPP_app
Global Passport Project mobile application for Android and iOS developed in React Native
GPP_backend
Global Passport Project backend: exposes endpoints needed by front-end and mobile app, does cryptography on chunks files with Zenroom, manages JWT authentication
home
Start here to get info about all the projects and the teams
keypairoom
Component to generate and regenerate a keypair, in a deterministic and private way
nym-pcc
YouChoose.AI
The framework to empower content creatos and get control, analytics and agency over Youtube videos
LEDGER Project's Repositories
LedgerProject/nym-pcc
LedgerProject/YouChoose.AI
The framework to empower content creatos and get control, analytics and agency over Youtube videos
LedgerProject/GPP_backend
Global Passport Project backend: exposes endpoints needed by front-end and mobile app, does cryptography on chunks files with Zenroom, manages JWT authentication
LedgerProject/home
Start here to get info about all the projects and the teams
LedgerProject/Anastasis
Password-less key recovery via multi-factor multi-party authentication
LedgerProject/GeneCoop
Repository for the GeneCoop Project
LedgerProject/GPP_app
Global Passport Project mobile application for Android and iOS developed in React Native
LedgerProject/sensix-power-map-backend
Sensix PowerMap Backend
LedgerProject/moncon
Paywall with private payments based on credentials
LedgerProject/e_privacycentral_android_system_netd
LedgerProject/e_privacycentral_orbotservice
LedgerProject/e_privacycentral_privacycentralapp
LedgerProject/e_privacycentral_privacymodulesapi
LedgerProject/e_privacycentral_privacymodulese
LedgerProject/e_privacycentral_privacymoduletor
LedgerProject/e_privacycentral_privacymoduletrackerfilter
LedgerProject/eschooltul_backend
LedgerProject/fairbnb-faircert
Fairbnb listing certificate
LedgerProject/ledger.tts
Ledger TTS (Time Stamping Service)
LedgerProject/orvium-ux
This repo contains the orvium ux components and a demo app to test them
LedgerProject/restroom-mw-ledger.tts
A middleware to make operations on the Ledger TTS, based on Zenroom.
LedgerProject/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.
LedgerProject/safepkt_assert
Assertions and assumptions for SafePKT annotated contracts
LedgerProject/safepkt_backend
CLI and HTTP application for running static analysis of rust-based smart contracts
LedgerProject/safepkt_cli
Command line client for SafePKT backend
LedgerProject/safepkt_frontend
Frontend application for running static analysis of rust-based programs
LedgerProject/safepkt_smart-contract-example
Smart Contract Verification Example project for SafePKT verifier
LedgerProject/safepkt_vscode-plugin
Visual Studio Code Plugin for verifying rust-based smart-contract with SafePKT
LedgerProject/sensix-power-map-frontend
Sensix PowerMap Frontend
LedgerProject/sensix-power-monitor
Sensix PowerMonitor