Stanford-Blockchain-Club / treehouse-sdkLinks
Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
☆13Updated 4 months ago
Alternatives and similar repositories for treehouse-sdk
Users that are interested in treehouse-sdk are comparing it to the libraries listed below
Sorting:
- Ensures bitwise reproducibility of ML operations across different hardware targets.☆14Updated 3 months ago
- ☆9Updated last year
- ☆14Updated last week
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆13Updated 3 years ago
- Benchmarks for the Evaluation of LLM Supervision☆32Updated 2 months ago
- ☆29Updated last year
- A simulated operating system design for AI Agents to interact with the world☆167Updated 6 months ago
- ☆14Updated 2 years ago
- CryptoEconLab at PL aspires to become a hub for research on economic incentives, coordination games, and novel marketplaces.☆46Updated last year
- Modular Agentic AI Architecture - NousResearch x Teleport (Flashbots)☆71Updated 5 months ago
- Python wrapper for lean-gym☆12Updated 2 years ago
- SONAR - Self-Organizing Network of Aggregated Representations☆18Updated last month
- Dynamic Markov Blanket Discovery☆13Updated last year
- Software for matching event participants based on interest using embeddings☆69Updated last year
- 🌲 A 3D, interactive semantic graph of hacker interests at TreeHacks, scraped from Slack intro messages☆72Updated last year
- Graph-based neural tactic prediction models for Coq.☆14Updated last month
- Decentralized Data Governance Pattern Library☆13Updated last year
- Open notebook for my research in culture science☆77Updated 3 months ago
- Openwater's Open-Source Neuromodulation Hardware☆20Updated last year
- ☆97Updated 6 months ago
- Experiments with interactive theorem provers, LLMs and formal systems☆21Updated last year
- The Reference Implementation☆18Updated last year
- An agentic framework for biological research and analysis.☆16Updated 3 weeks ago
- ☆13Updated 8 months ago
- Data and docs for Deep Funding's dependency graph☆22Updated 3 weeks ago
- An Aragon OSx simplified UI template for your custom DAO☆8Updated 5 months ago
- hehe☆78Updated 7 months ago
- Formalized Cryptography Proofs in Lean 4☆33Updated last week
- anything you want can be built with morph cloud☆19Updated 2 months ago
- An open infrastructure to democratize and decentralize the development of superintelligence for humanity.☆420Updated this week