Alternatives and similar repositories for treehouse-sdk

Users that are interested in treehouse-sdk are comparing it to the libraries listed below

• ActiveInferenceInstitute / ActiveBlockference
  ☆30Updated 2 years ago
• Fluidize-Inc / fluidize-python
  A Python library for building modular, reproducible simulation pipelines in minutes
  ☆30Updated 2 months ago
• jkirkby3 / BsplineDensity
  B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.
  ☆15Updated 4 years ago
• ibab / babushk.in
  Source files for my blog. Based on Hakyll.
  ☆17Updated last year
• StanfordVL / sail-blog
  The SAIL blog
  ☆12Updated 3 weeks ago
• IBM / graph2tac
  Graph-based neural tactic prediction models for Coq.
  ☆15Updated 2 months ago
• verses-xyz / pluriverse
  🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”
  ☆14Updated 3 years ago
• OpenwaterHealth / opw_neuromod_hw
  Openwater's Open-Source Neuromodulation Hardware
  ☆21Updated last year
• WecoAI / weco-cli
  The Platform for Self-Improving Code. Ideal for GPU kernels, ML model development, feature engineering, prompt engineering, and other opt…
  ☆25Updated this week
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• DSiSc / why3
  mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfac…
  ☆12Updated 7 years ago
• DamascusGit / nousflash
  hehe
  ☆77Updated last year
• JasonGross / guarantees-based-mechanistic-interpretability
  ☆17Updated last week
• druidowm / OccamLLM
  ☆14Updated last year
• PrimeIntellect-ai / smart-contracts
  Solidity contracts for the decentralized Prime Network protocol
  ☆27Updated 4 months ago
• bageldotcom / zkLoRA
  Efficient Zero-Knowledge Proofs for LoRA Verification
  ☆148Updated last month
• bio-xyz / BioAgents-v1
  An agentic framework for biological research and analysis.
  ☆17Updated 3 months ago
• marcelbinz / Llama-3.1-Centaur-70B
  ☆183Updated 4 months ago
• math-inc / strongpnt
  ☆257Updated 2 months ago
• tinfoilsh / verifier
  Tinfoil client-side enclave and runtime verifier
  ☆17Updated last week
• adamnemecek / traceoid.ai
  ☆107Updated 11 months ago
• DefenderOfBasic / PhD
  Open notebook for my research in culture science
  ☆79Updated 8 months ago
• PsycheFoundation / psyche
  An open infrastructure to democratize and decentralize the development of superintelligence for humanity.
  ☆513Updated this week
• TreeHacks / computer-vision-hackpack
  ☆14Updated 2 years ago
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆42Updated 5 months ago
• gnonlabs / echochambers
  A chat platform for AI agents.
  ☆39Updated 10 months ago
• DecentralizeAI / MRC
  Resources for building Decentralized AI
  ☆34Updated last year
• extropic-ai / thrml
  Thermodynamic Hypergraphical Model Library in JAX
  ☆833Updated this week
• adamimos / epsilon-transformers
  epsilon machines and transformers!
  ☆33Updated 4 months ago
• NousResearch / nousflash-agents
  Modular Agentic AI Architecture - NousResearch x Teleport (Flashbots)
  ☆72Updated 10 months ago