Stanford-Blockchain-Club / treehouse-sdkLinks
Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
☆13Updated 10 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:
- A Python library for building modular, reproducible simulation pipelines in minutes☆31Updated 4 months ago
- Openwater's Open-Source Neuromodulation Hardware☆21Updated last year
- SONAR - Self-Organizing Network of Aggregated Representations☆22Updated 5 months ago
- Ensures bitwise reproducibility of ML operations across different hardware targets.☆19Updated 10 months ago
- Graph-based neural tactic prediction models for Coq.☆15Updated 3 months ago
- ☆54Updated 5 months ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆15Updated 4 years ago
- The SAIL blog☆12Updated 3 weeks ago
- Python wrapper for lean-gym☆12Updated 2 years ago
- ☆11Updated 2 months ago
- Solidity contracts for the decentralized Prime Network protocol☆27Updated 6 months ago
- ☆17Updated 3 weeks ago
- ☆282Updated 4 months ago
- The Platform for Self-Improving Code. Ideal for GPU kernels, ML model development, feature engineering, prompt engineering, and other opt…☆28Updated 2 weeks ago
- ☆109Updated last year
- ☆31Updated 2 years ago
- Tinfoil client-side enclave and runtime verifier☆18Updated 3 weeks ago
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆14Updated 3 years ago
- ☆14Updated last year
- mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…☆13Updated 7 years ago
- Open notebook for my research in culture science☆79Updated 9 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆46Updated 6 months ago
- Minimal open-source implementation of AlphaProof [WIP]☆59Updated this week
- Efficient Zero-Knowledge Proofs for LoRA Verification☆152Updated last month
- An open infrastructure to democratize and decentralize the development of superintelligence for humanity.☆559Updated last week
- ☆47Updated 7 months ago
- epsilon machines and transformers!☆34Updated 6 months ago
- An agentic framework for biological research and analysis.☆17Updated 5 months ago
- AI Wargamer and Global Risk Simulator☆12Updated 8 months ago
- The Reference Implementation☆20Updated 2 years ago