NinaTea

NinaTea's Stars

• Argimirodelpozo/ClarityFuzzer

  Language:Python1

• kamyu104/GoogleCodeJam-2022

  🏃 Python3 Solutions of All 27 Problems in GCJ 2022

  Language:Python197

• rizwan3d/SharpRISCV

  SharpRISCV is an implementation of RISC-V assembly in C#. First RISC V Assembly that build windows executable file

  Language:C#304

• vplasencia/zk-sudoku-ts

  Updated zkSudoku App

  Language:TypeScript73

• CQCL/tket

  Source code for the TKET quantum compiler, Python bindings and utilities

  Language:C++27649

• CQCL/pytket-quantinuum

  pytket-quantinuum, extensions for pytket quantum SDK

  Language:Python3214

• FairgateLabs/bitvmx_protocol

  Language:Python73

• FairgateLabs/rust-bitvmx-zk-proof

  Language:Rust3

• FairgateLabs/BitVMX-CPU

  Language:Rust217

• eryxcoop/zk-adventures

  Language:Jupyter Notebook3513

• eryxcoop/acvm-backend-plonky2

  This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust

  Language:Rust47

• higham/what-is

  Important concepts in numerical linear algebra and related areas

  74162

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown359k33.3k

• CoinFabrik/algorand-protocol-simulator

  Language:HyPhy32

• CoinFabrik/algorand-protocol-paper

  Language:TeX73

• riscv/learn

  Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.

  82790

• CoinFabrik/stacy

  Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarity smart contracts.

  Language:Python274

• Qiskit/qiskit

  Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

  Language:Python5.8k2.5k

• CoinFabrik/scout-soroban-examples

  Soroban Smart Contract examples security reviewed by Scout and manual auditors

  Language:Rust261

• CoinFabrik/scout-soroban

  Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security issues and deviations from best practices.

  Language:Rust415

• Renmusxd/RustQIP

  Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!

  Language:Rust25218