josojo's repositories
subjectivocracy
Subjectivocratic token proposal (work in progress)
cowswap
🐮 CowSwap: First Gnosis Protocol v2 UI
doc-gen4
Document Generator for Lean 4
dotfiles
Dotfile configurations
evals
Evals is a framework for evaluating OpenAI models and an open-source registry of benchmarks.
H3
Language Modeling with the H3 State Space Model
interface
Frontend for LlamaSwap
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
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).
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
mmj2
mmj2 GUI Proof Assistant for the Metamath project
openai-api-rust
Rust client for OpenAI API
polygon-docs
Polygon Technical Docs
safe-sign-tx
Small static HTML page for signing and executing Gnosis Safe transactions.
smetamath-rs
sorear's Metamath system engine - version 3 Rust
spellbook
SQL views for Dune
tokenguard-ui2
Vue library for building Dapps
v4-core
🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4
zkevm-node
Go implementation of a node that operates the Polygon zkEVM Network