josojo Goto Github PK

metamath-website-seed

Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files

mimchashtimings

mmj2

mmj2 GUI Proof Assistant for the Metamath project

oba-contracts

openai-api-rust

Rust client for OpenAI API

pederson_hash_estimations

personal testing for pederson hashes in solidity and wasm

pequin

A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.

plasma-mvp

polygon-docs

Polygon Technical Docs

prettier-bug-description

realitio-contracts

Contracts for Realitio, including source code, ABI and addresses of contracts on mainnet and test networks

realitycheck

realitytokennode

very first draft for a realityTokenNode which should help to select the right branch and serve this branch to applications

rinkebytestnet

rust-web3

Ethereum JSON-RPC multi-transport client. Rust implementation of web3 library.

safe-sign-tx

Small static HTML page for signing and executing Gnosis Safe transactions.

sapling-crypto

Zcash "Sapling" cryptography

schroediger-markets-and-stablecoins

smetamath-rs

sorear's Metamath system engine - version 3 Rust

spellbook

SQL views for Dune

subjectivocracy

Subjectivocratic token proposal (work in progress)

testsolver

tokenguard-ui2

Vue library for building Dapps

tokenized-events

Using Outcome tokens and RealityToken+RealityCheck to generate financial products

uniswap-honeyswap-sdk

uniswap-interface

🦄 An open source interface for the Uniswap protocol

waffle

Library for writing and testing smart contracts.

web3-min-example

wiz-gno

some tests for WIZ supply

yieldtoken

Zero-coupon bonds for Dai