Skip to content

@LedgerProject LEDGER Project

Change the repository type filter

All

    Repositories list

    60 repositories

    • ConDIDI_backend

      Public
      The Backend of the ConDIDI system
      Python
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated May 20, 2025May 20, 2025

    • orvium-ux

      Public
      This repo contains the orvium ux components and a demo app to test them
      TypeScript
      •
      GNU Affero General Public License v3.0
      •1•0•0•0•Updated Jan 24, 2024Jan 24, 2024

    • GeneCoop

      Public
      Repository for the GeneCoop Project
      Python
      •
      GNU Affero General Public License v3.0
      •1•2•0•0•Updated Dec 28, 2023Dec 28, 2023

    • GPP_backend

      Public
      Global Passport Project backend: exposes endpoints needed by front-end and mobile app, does cryptography on chunks files with Zenroom, manages JWT authentication
      TypeScript
      •
      GNU General Public License v3.0
      •0•3•0•1•Updated Nov 20, 2023Nov 20, 2023

    • GPP_app

      Public
      Global Passport Project mobile application for Android and iOS developed in React Native
      TypeScript
      •
      GNU General Public License v3.0
      •1•2•0•0•Updated Nov 19, 2023Nov 19, 2023

    • eschooltul_backend

      Public
      Ruby
      •1•0•0•27•Updated Mar 5, 2023Mar 5, 2023

    • home

      Public
      Start here to get info about all the projects and the teams
      HTML
      •27•3•0•0•Updated Mar 18, 2022Mar 18, 2022

    • restroom-mw-ledger.tts

      Public
      A middleware to make operations on the Ledger TTS, based on Zenroom.
      TypeScript
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated Jan 31, 2022Jan 31, 2022

    • ledger.tts

      Public
      Ledger TTS (Time Stamping Service)
      JavaScript
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 31, 2022Jan 31, 2022

    • e_privacycentral_privacycentralapp

      Public
      Kotlin
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Jan 17, 2022Jan 17, 2022

    • YouChoose.AI

      Public
      The framework to empower content creatos and get control, analytics and agency over Youtube videos
      TypeScript
      •
      GNU Affero General Public License v3.0
      •1•7•2•0•Updated Dec 9, 2021Dec 9, 2021

    • e_privacycentral_privacymoduletrackerfilter

      Public
      Java
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Nov 30, 2021Nov 30, 2021

    • nym-pcc

      Public
      TypeScript
      •0•6•1•0•Updated Nov 26, 2021Nov 26, 2021

    • safepkt

      Public
      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.
      rustcliresearchllvmstatic-analysismemory-safetyvscode-extensionterminationinknuxtjs
      Shell
      •
      Apache License 2.0
      •1•0•0•0•Updated Nov 24, 2021Nov 24, 2021

    • safepkt_frontend

      Public
      Frontend application for running static analysis of rust-based programs
      ruststatic-analysisnuxtjs
      TypeScript
      •
      Apache License 2.0
      •1•0•0•0•Updated Nov 24, 2021Nov 24, 2021

    • safepkt_backend

      Public
      CLI and HTTP application for running static analysis of rust-based smart contracts
      ruststatic-analysiskleervt
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Nov 24, 2021Nov 24, 2021

    • fairbnb-faircert

      Public
      Fairbnb listing certificate
      Blade
      •0•0•0•0•Updated Nov 22, 2021Nov 22, 2021

    • safepkt_vscode-plugin

      Public
      Visual Studio Code Plugin for verifying rust-based smart-contract with SafePKT
      rustverificationsmart-contract
      TypeScript
      •
      Other
      •1•0•0•0•Updated Nov 22, 2021Nov 22, 2021

    • sensix-power-map-backend

      Public
      Sensix PowerMap Backend
      Python
      •0•1•0•0•Updated Nov 21, 2021Nov 21, 2021

    • sensix-power-monitor

      Public
      Sensix PowerMonitor
      C++
      •
      Other
      •0•0•0•0•Updated Nov 21, 2021Nov 21, 2021

    • sensix-power-map-frontend

      Public
      Sensix PowerMap Frontend
      TypeScript
      •0•0•0•0•Updated Nov 21, 2021Nov 21, 2021

    • moncon

      Public
      Paywall with private payments based on credentials
      JavaScript
      •
      MIT License
      •1•0•0•0•Updated Nov 21, 2021Nov 21, 2021

    • Anastasis

      Public
      Password-less key recovery via multi-factor multi-party authentication
      TeX
      •
      GNU Affero General Public License v3.0
      •0•2•0•0•Updated Nov 20, 2021Nov 20, 2021

    • e_privacycentral_privacymoduletor

      Public
      Kotlin
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Nov 19, 2021Nov 19, 2021

    • e_privacycentral_privacymodulesapi

      Public
      Kotlin
      •0•0•0•0•Updated Nov 19, 2021Nov 19, 2021

    • e_privacycentral_orbotservice

      Public
      C
      •0•0•0•0•Updated Nov 19, 2021Nov 19, 2021

    • e_privacycentral_privacymodulese

      Public
      Kotlin
      •0•0•0•0•Updated Nov 18, 2021Nov 18, 2021

    • e_privacycentral_android_system_netd

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Nov 18, 2021Nov 18, 2021

    • safepkt_smart-contract-example

      Public
      Smart Contract Verification Example project for SafePKT verifier
      rustsmart-contractsvscodeverificationinksubstrate
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Nov 17, 2021Nov 17, 2021

    • safepkt_assert

      Public
      Assertions and assumptions for SafePKT annotated contracts
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Nov 17, 2021Nov 17, 2021