Skip to content
Change the repository type filter

All

    Repositories list

    • 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
      1000Updated Jan 24, 2024Jan 24, 2024
    • GeneCoop

      Public
      Repository for the GeneCoop Project
      Python
      GNU Affero General Public License v3.0
      1200Updated Dec 28, 2023Dec 28, 2023
    • 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
      0301Updated 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
      1200Updated Nov 19, 2023Nov 19, 2023
    • Ruby
      10027Updated Mar 5, 2023Mar 5, 2023
    • home

      Public
      Start here to get info about all the projects and the teams
      HTML
      27300Updated Mar 18, 2022Mar 18, 2022
    • A middleware to make operations on the Ledger TTS, based on Zenroom.
      TypeScript
      GNU Affero General Public License v3.0
      0000Updated Jan 31, 2022Jan 31, 2022
    • Ledger TTS (Time Stamping Service)
      JavaScript
      Apache License 2.0
      0000Updated Jan 31, 2022Jan 31, 2022
    • Kotlin
      GNU General Public License v3.0
      1000Updated Jan 17, 2022Jan 17, 2022
    • The framework to empower content creatos and get control, analytics and agency over Youtube videos
      TypeScript
      GNU Affero General Public License v3.0
      1620Updated Dec 9, 2021Dec 9, 2021
    • Java
      GNU General Public License v2.0
      0000Updated Nov 30, 2021Nov 30, 2021
    • nym-pcc

      Public
      TypeScript
      0610Updated 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.
      Shell
      Apache License 2.0
      1000Updated Nov 24, 2021Nov 24, 2021
    • Frontend application for running static analysis of rust-based programs
      TypeScript
      Apache License 2.0
      1000Updated Nov 24, 2021Nov 24, 2021
    • CLI and HTTP application for running static analysis of rust-based smart contracts
      Rust
      Apache License 2.0
      1000Updated Nov 24, 2021Nov 24, 2021
    • Fairbnb listing certificate
      Blade
      0000Updated Nov 22, 2021Nov 22, 2021
    • Visual Studio Code Plugin for verifying rust-based smart-contract with SafePKT
      TypeScript
      Other
      1000Updated Nov 22, 2021Nov 22, 2021
    • Sensix PowerMap Backend
      Python
      0100Updated Nov 21, 2021Nov 21, 2021
    • Sensix PowerMonitor
      C++
      Other
      0000Updated Nov 21, 2021Nov 21, 2021
    • Sensix PowerMap Frontend
      TypeScript
      0000Updated Nov 21, 2021Nov 21, 2021
    • moncon

      Public
      Paywall with private payments based on credentials
      JavaScript
      MIT License
      1000Updated 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
      0200Updated Nov 20, 2021Nov 20, 2021
    • Kotlin
      GNU General Public License v3.0
      0000Updated Nov 19, 2021Nov 19, 2021
    • Kotlin
      0000Updated Nov 19, 2021Nov 19, 2021
    • C
      0000Updated Nov 19, 2021Nov 19, 2021
    • Kotlin
      0000Updated Nov 18, 2021Nov 18, 2021
    • C++
      Other
      0000Updated Nov 18, 2021Nov 18, 2021
    • Smart Contract Verification Example project for SafePKT verifier
      Rust
      Apache License 2.0
      1000Updated Nov 17, 2021Nov 17, 2021
    • Assertions and assumptions for SafePKT annotated contracts
      Rust
      Apache License 2.0
      1000Updated Nov 17, 2021Nov 17, 2021
    • Command line client for SafePKT backend
      JavaScript
      Apache License 2.0
      1000Updated Nov 17, 2021Nov 17, 2021