josojo Goto Github PK

1inch-match-price-updates-check

batch-auctions-on-plasma

only for internal use

c-org

Smart-contracts for continuous organizations

cowswap

🐮 CowSwap: First Gnosis Protocol v2 UI

decentralized_optionmarket

Decentralized option market using new oracle system

dex-integration-tutorial

A lightweight repo demonstrating how to integrate Gnosis Protocol with Synthetix

doc-gen4

Document Generator for Lean 4

dotfiles

Dotfile configurations

dss

Dai Stablecoin System

eth2.0-specs

Ethereum 2.0 Specifications

evals

Evals is a framework for evaluating OpenAI models and an open-source registry of benchmarks.

evm-storage-proofs

Trustlessly prove a past storage value in a contract to other contracts

firstproject

this is my very first repository for my first testings

forkonomic-predictionmarket

Implements easy ipfs interface for forkonomic based prediction markets

generatetrustforservicesonevms

This repository describes a new method how to generate trust for Services which run on an EVM like for example ethereum is.

gnosis-contracts

Collection of smart contracts for the Gnosis prediction market platform.

gnosismarketsandrealitycoins

demonstration how realitycoins can be used for gnosis markets

h3

Language Modeling with the H3 State Space Model

hardhat-issue-example

interface

Frontend for LlamaSwap

lastresortoracle

An oracle with a special trust mechanism build on ethereum

lean4-example

lean4repl

lean_ai_helper

leandojo

Tool for data extraction and interacting with Lean programmatically.

llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.

longsightf152p5gasestimate

testing only

mathlib4

Work in progress mathlib port for lean 4

metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

metamath-lamp

Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).