Pinned Repositories
dex-contracts
Smart contracts for the Gnosis Protocol v1
gp-v2-contracts
Smart contracts for the Gnosis Protocol v2
ido-contracts
Smart contracts for IDO usecase
mock-contract
Simple Solidity contract to mock dependent contracts in truffle tests.
1inch-match-price-updates-check
eth2.0-specs
Ethereum 2.0 Specifications
Lean4Repl
mimcHashTimings
subjectivocracy
Subjectivocratic token proposal (work in progress)
subjectivocracy
Design and code prototypes for a system of forking oracle-enshrined L2 ledgers
josojo's Repositories
josojo/Lean4Repl
josojo/subjectivocracy
Subjectivocratic token proposal (work in progress)
josojo/lean_ai_helper
josojo/cowswap
🐮 CowSwap: First Gnosis Protocol v2 UI
josojo/doc-gen4
Document Generator for Lean 4
josojo/dotfiles
Dotfile configurations
josojo/evals
Evals is a framework for evaluating OpenAI models and an open-source registry of benchmarks.
josojo/H3
Language Modeling with the H3 State Space Model
josojo/hardhat-issue-example
josojo/interface
Frontend for LlamaSwap
josojo/lean4-example
josojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
josojo/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
josojo/mathlib4
Work in progress mathlib port for lean 4
josojo/metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
josojo/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).
josojo/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
josojo/mmj2
mmj2 GUI Proof Assistant for the Metamath project
josojo/openai-api-rust
Rust client for OpenAI API
josojo/polygon-docs
Polygon Technical Docs
josojo/prettier-bug-description
josojo/safe-sign-tx
Small static HTML page for signing and executing Gnosis Safe transactions.
josojo/smetamath-rs
sorear's Metamath system engine - version 3 Rust
josojo/spellbook
SQL views for Dune
josojo/testsolver
josojo/tokenguard-ui2
Vue library for building Dapps
josojo/uniswap-honeyswap-sdk
josojo/v4-core
🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4
josojo/zkevm-node
Go implementation of a node that operates the Polygon zkEVM Network
josojo/zkevm-proofs-data