binadamu-isiyoonekana Goto Github PK

boneh-lynn-shacham-sig

Aggregatable Boneh-Lynn-Shacham (BLS) sigantures

bono

Quantum visualizer

bqfl

Blockchain-based Quantum Federated Learning

cadcad

Design, simulate, validate, and operate within complex systems

cardano-formal-ledger-specifications-agda

Formal specifications of the cardano ledger

cargo

The Rust package manager

catalyst

A JIT compiler for hybrid quantum programs in PennyLane

caulk

ccs-hack

a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness

check-pull-request-format-action

GitHub Actions script for checking the format of a squash pull request format

check-pull-request-testbed

Tiny repo for testing GitHub Actions workflow

cheetah

A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.

chronicle.rs

A framework for building IOTA permanodes

cingulata

Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homomorphic encryption techniques.

circom

zkSnark circuit compiler

ckb

The Nervos CKB is a public permissionless blockchain, and the layer 1 of Nervos network.

ckb-vm

CKB's vm, based on open source RISC-V ISA

cocogitto

The Conventional Commits toolbox

compose-jb

Compose Multiplatform, a modern UI framework for Kotlin that makes building performant and beautiful user interfaces easy and enjoyable.

concrete-ntt

Number theoretic transformer library in Rust

consul

Consul Democracy - Open Government and E-Participation Web Software

correct-by-construction-using-agda

Material for the Agda course at the EUTYPES Summer School '19 in Ohrid

cosmwasm

Library for building cosmos-compatible wasm smart contracts

crypto

Prototyping library for lattice-based cryptography.

cstree

Concrete Syntax Tree library

cur

A less devious proof assistant

customcursor

Custom Cursor Demos and Tutorial for Codrops

cw-plus

Production Quality contracts under open source licenses

db

Fluree database / query server source

deno

A modern runtime for JavaScript and TypeScript.