Skip to content
@LayerXcom

LayerX

Popular repositories Loading

  1. zero-chain zero-chain Public

    A privacy-preserving blockchain on Substrate

    Rust 260 42

  2. confidential-computing-modules confidential-computing-modules Public

    A Module for Privacy-preserving State Transitions with Verifiability

    Rust 90 9

  3. verified-vyper-contracts verified-vyper-contracts Public archive

    FVyper: A collection of useful Vyper contracts developed with formal methods

    Python 55 15

  4. cordage cordage Public archive

    Cordage: the blockchain interoperability project!

    Kotlin 52 6

  5. plasma-mvp-vyper plasma-mvp-vyper Public archive

    Implementation of Minimal Viable Plasma in Vyper

    JavaScript 51 8

  6. cbc-casper-proof cbc-casper-proof Public

    Proofs of properties of CBC Casper

    TeX 35 4

Repositories

Showing 10 of 59 repositories
  • gorm Public Forked from go-gorm/gorm

    The fantastic ORM library for Golang, aims to be developer friendly

    LayerXcom/gorm’s past year of commit activity
    Go 0 MIT 4,031 0 0 Updated Sep 5, 2024
  • freee-go Public

    Go library for freee API

    LayerXcom/freee-go’s past year of commit activity
    Go 34 BSD-3-Clause 7 1 2 Updated Aug 13, 2024
  • go-mysql Public Forked from go-mysql-org/go-mysql

    a powerful mysql toolset with Go

    LayerXcom/go-mysql’s past year of commit activity
    Go 0 MIT 1,036 0 0 Updated Apr 26, 2024
  • cordage Public archive

    Cordage: the blockchain interoperability project!

    LayerXcom/cordage’s past year of commit activity
    Kotlin 52 6 17 30 Updated Sep 27, 2023
  • pr-agent Public Forked from Codium-ai/pr-agent

    🚀CodiumAI PR-Agent: An AI-Powered 🤖 Tool for Automated Pull Request Analysis, Feedback, Suggestions and More! 💻🔍

    LayerXcom/pr-agent’s past year of commit activity
    Python 0 Apache-2.0 522 0 0 Updated Aug 30, 2023
  • lmd-ghost-simulation Public

    Liveness analysis of LMD GHOST

    LayerXcom/lmd-ghost-simulation’s past year of commit activity
    Jupyter Notebook 1 MIT 1 0 10 Updated Aug 14, 2023
  • zero-chain Public

    A privacy-preserving blockchain on Substrate

    LayerXcom/zero-chain’s past year of commit activity
    Rust 260 GPL-3.0 42 42 17 Updated Jun 21, 2023
  • scim-examples Public archive Forked from 1Password/scim-examples

    1Password SCIM bridge deployment examples

    LayerXcom/scim-examples’s past year of commit activity
    HCL 0 MIT 140 0 1 Updated Jun 5, 2023
  • research-hunt-contract Public

    Research Hunt Contract Project

    LayerXcom/research-hunt-contract’s past year of commit activity
    JavaScript 0 0 14 4 Updated Apr 30, 2023
  • confidential-computing-modules Public

    A Module for Privacy-preserving State Transitions with Verifiability

    LayerXcom/confidential-computing-modules’s past year of commit activity
    Rust 90 9 133 10 Updated Mar 25, 2023