Stanford-Blockchain-Club / treehouse-sdkView external linksLinks
Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
☆13Feb 14, 2025Updated last year
Alternatives and similar repositories for treehouse-sdk
Users that are interested in treehouse-sdk are comparing it to the libraries listed below
Sorting:
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆15Aug 22, 2021Updated 4 years ago
- Prompts for vibe coding onchain apps on Celo.☆13Jun 18, 2025Updated 7 months ago
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 5 months ago
- ☆11Nov 11, 2025Updated 3 months ago
- The Systems Biology Ontology (SBO) is a set of controlled, relational vocabularies of terms commonly used in Systems Biology, and in part…☆11May 16, 2023Updated 2 years ago
- ☆11Feb 14, 2025Updated last year
- Material for a beginners workshop in data analytics with Python☆12Jan 9, 2020Updated 6 years ago
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- PyTorch implementation of satellite image pose estimation using ResNet model architecture.☆10Dec 8, 2023Updated 2 years ago
- ☆14Oct 21, 2024Updated last year
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 4 months ago
- a Lean4 framework for the modeling and refinement of stateful systems☆23Dec 19, 2025Updated last month
- Sleep EEG Event Detector (SEED) model, a deep learning-based detector of sleep spindles and K-complexes☆13Jun 24, 2024Updated last year
- For unmanned missions into GPT returning structured data☆12May 16, 2023Updated 2 years ago
- Automatically quantifying radiographic knee osteoarthritis severity☆10May 18, 2017Updated 8 years ago
- Python Library to Generate Nakamoto Coefficient☆11Jul 9, 2019Updated 6 years ago
- In public-key cryptography, the Station-to-Station (STS) protocol is a cryptographic key agreement scheme based on classic Diffie–Hellman…☆11Mar 16, 2016Updated 9 years ago
- focused ultrasound toolbox☆16Updated this week
- ☆10Nov 5, 2016Updated 9 years ago
- Decentralized Data Governance Pattern Library☆13Jul 17, 2023Updated 2 years ago
- Interactive Theorem Proving course using HOL4☆12Jun 21, 2023Updated 2 years ago
- Tool to fetch, parse, and standardize materials data from various databases for LeMaterial.☆16Jan 23, 2026Updated 3 weeks ago
- mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…☆13Aug 5, 2018Updated 7 years ago
- Shared, hierarchical cloud cost allocation based on user-defined usage metrics☆14Jan 20, 2026Updated 3 weeks ago
- An agentic framework for biological research and analysis.☆19Aug 11, 2025Updated 6 months ago
- Task 4 starter repo☆13Jul 17, 2024Updated last year
- ☆15Updated this week
- Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.☆21Nov 17, 2025Updated 2 months ago
- Tinfoil client-side enclave and runtime verifier☆19Feb 8, 2026Updated last week
- The SAIL blog☆13Updated this week
- ☆15Dec 7, 2023Updated 2 years ago
- Source of Truth for all Proof of Ship submissions☆17Oct 22, 2025Updated 3 months ago
- Uncertain Knowledge Graphs Embedding with BERT Pretrained Language Model☆17Oct 10, 2024Updated last year
- CSCI 1302 Code Style Guide☆11Dec 30, 2025Updated last month
- C-Star is a python package for setting up and running ocean model simulations, with a particular focus on marine carbon dioxide removal (…☆17Updated this week
- Tutorial for the NASA ARSET training course: "Use of Solar Induced Fluorescence and LIDAR to Assess Vegetation Change and Vulnerability"☆19Nov 4, 2021Updated 4 years ago
- ☆15Feb 16, 2025Updated 11 months ago
- Python wrapper for lean-gym☆12Apr 5, 2023Updated 2 years ago