josojo

josojo's Stars

• kkailiwang/erc20r

  Language:Solidity555

• RealityETH/subjectivocracy

  Design and code prototypes for a system of forking oracle-enshrined L2 ledgers

  Language:Solidity263

• lean-dojo/LeanDojo

  Tool for data extraction and interacting with Lean programmatically.

  Language:Python47372

• semorrison/lean-training-data

  Language:Lean298

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++85277

• wellecks/llmstep

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

  Language:Python10114

• morph-labs/rift

  Rift: an AI-native language server for your personal AI software engineer

  Language:Python3k145

• Codium-ai/pr-agent

  🚀CodiumAI PR-Agent: An AI-Powered 🤖 Tool for Automated Pull Request Analysis, Feedback, Suggestions and More! 💻🔍

  Language:Python4.8k419

• lean-dojo/LeanDojoChatGPT

  ChatGPT plugin for theorem proving in Lean

  Language:Python10213

• digama0/mmj2

  mmj2 GUI Proof Assistant for the Metamath project

  Language:Java7224

• expln/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).

  Language:ReScript114

• metamath/metamath-knife

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

  Language:Rust259

• transmissions11/solmate

  Modern, opinionated, and gas optimized building blocks for smart contract development.

  Language:Solidity3.8k621

• openai/evals

  Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.

  Language:Python14.3k2.5k

• nebuly-ai/nebuly

  The user analytics platform for LLMs

  Language:Python8.4k646

• huggingface/transformers

  🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

  Language:Python129k25.5k

• run-llama/llama_index

  LlamaIndex is a data framework for your LLM applications

  Language:Python33.2k4.6k

• THUDM/GLM-130B

  GLM-130B: An Open Bilingual Pre-Trained Model (ICLR 2023)

  Language:Python7.6k611

• EleutherAI/gpt-neox

  An implementation of model parallel autoregressive transformers on GPUs, based on the Megatron and DeepSpeed libraries

  Language:Python6.7k977

• gnosis/ido-contracts

  Smart contracts for IDO usecase

  Language:TypeScript12370

• gnosis/cow-dex-solver

  Language:Rust5331

• cowprotocol/services

  Off-chain services for CoW Protocol

  Language:Rust14261

• privacy-scaling-explorations/maci

  Minimal Anti-Collusion Infrastructure (MACI)

  Language:TypeScript492126

• keep-starknet-strange/awesome-starknet

  A curated list of awesome StarkNet resources, libraries, tools and more

  1.5k306

• gnosis/gp-v2-dune

  A collection of tools to manage queries on Dune Analytics

  Language:TypeScript55

• ritz078/transform

  A polyglot web converter.

  Language:TypeScript7.6k541

• gnosis/ido-ux

  Interface for the ido-platform

  Language:TypeScript2523

• Uniswap/interface

  🦄 Open source interfaces for the Uniswap protocol

  Language:TypeScript4.8k4.9k

• prysmaticlabs/prysm

  Go implementation of Ethereum proof of stake

  Language:Go3.4k951

• gnosis/dex-services

  Off-chain services for the Gnosis Protocol v1.

  Language:Rust339