Pinned Loading

1. octra-groth16-bn254octra-groth16-bn254Public

   a simple toolkit for using сircom groth16 bn254 proofs with the octra

   Elixir 10

2. bqskitbqskitPublic

   Forked from BQSKit/bqskit

   Berkeley Quantum Synthesis Toolkit

   OpenQASM 2

3. openpeeropenpeerPublic

   Forked from openpeer/openpeer

   Trade crypto on our decentralized P2P platform. Select your token and fiat, set your margin, and start trading today.

   TypeScript 2

4. pvac_hfhe_cpppvac_hfhe_cppPublic

   Forked from octra-labs/pvac_hfhe_cpp

   pvac-hfhe: PoC for publicly verifiable arithmetic computations with hypergraph based homomorphic encryption over Fp (p = 2^127 - 1), omissions for large numbers and excluded the transfer mechanism …

   C++ 2

5. coq-lspcoq-lspPublic

   Forked from rocq-community/rocq-lsp

   Visual Studio Code Extension and Language Server Protocol for Coq

   OCaml 1