md-assembla Goto Github PK

sirius

A folding framework for Incrementally Verifiable Computation (IVC).

smart-contract-evm

Smart contract for JOJO Exchange (EVM version)

snark

Interfaces for Relations and SNARKs for these relations

snark-verifier

solidity-proxy-playground

The good, the bad, and the ugly of proxy implementations

solidity-verifier

Solidity implementation of Nova proving system verifier

spark-gov-relay

sparklend-advanced

Advanced features to improve SparkLend beyond the core contracts. This repository is mostly focused on improving security and automating governance processes.

speedtest-to-influxdb

Script to periodically run the Speedtest CLI application by Ookla and post results to InfluxDB.

stark101

starter-kits

A repo of starter kits for working with various languages and frameworks across the smart contract ecosystem.

strats

Home of Astrolab strategies

supertux

SuperTux source code

sway

🌴 Empowering everyone to build reliable and efficient smart contracts.

synthetic-vault

tanstack.com

The marketing and docs site for all TanStack projects

tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

tapiocaz-audit

teavaultv3pair

temple

Temple Monorepo

timerift

tokenized-strategy-periphery

triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

ui

Simple UI examples from my social media

uint

Rust Uint crate using const-generics

v2-core-audit-2023-07-14

v3utils

verkletries_besu

wagmi-leverage

yellowpaper_cheatsheet

A quick reference for symbols and conventions used in the Ethereum Yellow Paper.