binadamu-isiyoonekana Goto Github PK

singular

sources for the Singular computer algebra system

sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

sledge-serverless-framework

SLEdge: a serverless runtime designed for the Edge.

sleppa

Semantic release automation tool

sleppa_context

Thread-safe execution context management library

snarkos

A Decentralized Operating System for ZK Applications

sok

Repository for the SoK paper on Fully Homomorphic Encryption (FHE) compilers.

solana

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

solang

Solidity Compiler for Solana and Polkadot

sourcecred

a social algorithm for computing cred

sp1

A performant, 100% open-source, contributor-friendly zkVM.

sphinx

Weak consensus blockchain

spooky-language

Next-wave quantum programming idiom

stack-graphs

Rust implementation of stack graphs

stark-snark-recursive-proofs

STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

subdao-contracts

substrate-simple-template

A simple template to bootstrap a Substrate node with BABE consensus

substratedao

Substrate DAO Management

subxt

Submit extrinsics (transactions) to a substrate node via RPC

sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

sunshine

Governance + Bounty Platform

surrealdb

A scalable, distributed, collaborative, document-graph database, for the realtime web

swanky

A suite of rust libraries for secure multi-party computation

sway

🌴 Empowering everyone to build reliable and efficient smart contracts.

sycret

Function Secret Sharing library for Python and Rust with hardware acceleration

tandem

A maliciously secure two-party computation engine which is embeddable and accessible

test-gh-actions

texify-idea

LaTeX support for the IntelliJ platform by JetBrains.

tezedge

Tezos node/shell in Rust. Unfortunately dev has ceased. If you are interested in resurrecting, please contact @drchrispinnock

tfhe-rs

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.