Alternatives and similar repositories for treehouse-sdk

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

• juliusarden / blackbird-harrison-ai
  ☆9Updated last year
• IBM / graph2tac
  Graph-based neural tactic prediction models for Coq.
  ☆14Updated 3 months ago
• gensyn-ai / repops-demo
  Ensures bitwise reproducibility of ML operations across different hardware targets.
  ☆15Updated 5 months ago
• verses-xyz / pluriverse
  🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”
  ☆13Updated 3 years ago
• aidecentralized / sonar
  SONAR - Self-Organizing Network of Aggregated Representations
  ☆21Updated last week
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• druidowm / OccamLLM
  ☆13Updated 9 months ago
• tinfoilsh / verifier
  Tinfoil client-side enclave and runtime verifier
  ☆13Updated 3 weeks ago
• CentreSecuriteIA / BELLS
  Benchmarks for the Evaluation of LLM Supervision
  ☆32Updated last month
• StanfordVL / sail-blog
  The SAIL blog
  ☆11Updated last month
• ActiveInferenceInstitute / ActiveBlockference
  ☆29Updated 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
• WecoAI / weco-cli
  The Platform for Self-Improving Code. Ideal for GPU kernels, ML model development, feature engineering, prompt engineering, and other opt…
  ☆20Updated this week
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆29Updated 2 months ago
• adamnemecek / traceoid.ai
  ☆96Updated 8 months ago
• marcelbinz / Llama-3.1-Centaur-70B
  ☆160Updated last month
• goodfire-ai / sdxl-turbo-interpretability
  ☆42Updated 2 months ago
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆20Updated 3 months ago
• OpenwaterHealth / opw_neuromod_hw
  Openwater's Open-Source Neuromodulation Hardware
  ☆20Updated last year
• bagel-org / zkLoRA
  Efficient Zero-Knowledge Proofs for LoRA Verification
  ☆133Updated 2 months ago
• starkware-libs / formal-proofs
  ☆61Updated 9 months ago
• DecentralizeAI / MRC
  Resources for building Decentralized AI
  ☆34Updated last year
• DefenderOfBasic / PhD
  Open notebook for my research in culture science
  ☆77Updated 4 months ago
• ibab / babushk.in
  Source files for my blog. Based on Hakyll.
  ☆17Updated last year
• NousResearch / nousflash-agents
  Modular Agentic AI Architecture - NousResearch x Teleport (Flashbots)
  ☆72Updated 7 months ago
• HyperbolicLabs / Hyperbolic-AgentKit
  ☆104Updated 4 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆69Updated 6 months ago
• aidecentralized / nanda-servers
  A catalogue of existing Nanda servers
  ☆170Updated 3 months ago
• ActiveInferenceInstitute / ActiveInferenceJournal
  Content of the Active Inference Journal
  ☆41Updated 11 months ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆22Updated 2 years ago