Stanford-Blockchain-Club / treehouse-sdkLinks
Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
☆13Updated 6 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:
- Openwater's Open-Source Neuromodulation Hardware☆20Updated last year
- Ensures bitwise reproducibility of ML operations across different hardware targets.☆15Updated 6 months ago
- Graph-based neural tactic prediction models for Coq.☆14Updated 3 months ago
- Tinfoil client-side enclave and runtime verifier☆14Updated 2 weeks ago
- ☆16Updated this week
- A Python library for building modular, reproducible simulation pipelines in minutes☆27Updated last week
- SONAR - Self-Organizing Network of Aggregated Representations☆22Updated last month
- ☆29Updated 2 years ago
- Acorn's standard library of mathematical facts.☆23Updated 2 weeks ago
- ☆14Updated 2 years ago
- Python wrapper for lean-gym☆12Updated 2 years ago
- The SAIL blog☆11Updated last week
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆13Updated 3 years ago
- Formalizing stochastic doubly-efficient debate☆108Updated 10 months ago
- Source files for my blog. Based on Hakyll.☆17Updated last year
- ☆99Updated 9 months ago
- This repository contains an early look at the CL API documentation for the Cortical Labs CL1 platform.☆179Updated this week
- Dynamic Markov Blanket Discovery☆13Updated last year
- Solidity contracts for the decentralized Prime Network protocol☆26Updated last month
- Foundational model for the Neurosity Crown☆67Updated last year
- Open notebook for my research in culture science☆77Updated 5 months ago
- Dynamic Telegram Trading Bot☆16Updated 6 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆71Updated 7 months ago
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- The Platform for Self-Improving Code. Ideal for GPU kernels, ML model development, feature engineering, prompt engineering, and other opt…☆23Updated last week
- An open infrastructure to democratize and decentralize the development of superintelligence for humanity.☆459Updated last week
- ☆61Updated 10 months ago
- An agentic framework for biological research and analysis.☆17Updated 3 weeks ago
- A simulated operating system design for AI Agents to interact with the world☆169Updated 8 months ago
- ACT community resources☆21Updated 5 years ago