Alternatives and similar repositories for treehouse-sdk

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

• IBM / graph2tac
  Graph-based neural tactic prediction models for Coq.
  ☆15Updated 2 months ago
• gensyn-ai / repops-demo
  Ensures bitwise reproducibility of ML operations across different hardware targets.
  ☆19Updated 9 months ago
• math-inc / strongpnt
  ☆262Updated 3 months ago
• aidecentralized / sonar
  SONAR - Self-Organizing Network of Aggregated Representations
  ☆22Updated 4 months ago
• jkirkby3 / BsplineDensity
  B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.
  ☆15Updated 4 years ago
• ActiveInferenceInstitute / ActiveBlockference
  ☆30Updated 2 years ago
• bio-xyz / BioAgents-v1
  An agentic framework for biological research and analysis.
  ☆17Updated 4 months ago
• OpenwaterHealth / opw_neuromod_hw
  Openwater's Open-Source Neuromodulation Hardware
  ☆21Updated last year
• JasonGross / guarantees-based-mechanistic-interpretability
  ☆17Updated last week
• WecoAI / weco-cli
  The Platform for Self-Improving Code. Ideal for GPU kernels, ML model development, feature engineering, prompt engineering, and other opt…
  ☆26Updated this week
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• verses-xyz / pluriverse
  🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”
  ☆14Updated 3 years ago
• harmonic-ai / IMO2025
  ☆52Updated 4 months ago
• StanfordVL / sail-blog
  The SAIL blog
  ☆12Updated this week
• 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
• PrimeIntellect-ai / smart-contracts
  Solidity contracts for the decentralized Prime Network protocol
  ☆27Updated 5 months ago
• ibab / babushk.in
  Source files for my blog. Based on Hakyll.
  ☆17Updated last year
• CentreSecuriteIA / BELLS
  Benchmarks for the Evaluation of LLM Supervision
  ☆32Updated 2 months ago
• ActiveInferenceInstitute / Symposium
  ☆11Updated last month
• TreeHacks / computer-vision-hackpack
  ☆14Updated 2 years ago
• starkware-libs / formal-proofs
  ☆66Updated last year
• onkernel / kernel-mcp-server
  Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.
  ☆21Updated last week
• acornprover / acornlib
  Acorn's standard library of mathematical facts.
  ☆46Updated this week
• adamnemecek / traceoid.ai
  ☆109Updated last year
• bageldotcom / zkLoRA
  Efficient Zero-Knowledge Proofs for LoRA Verification
  ☆150Updated 2 weeks ago
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆133Updated last week
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆73Updated 2 years ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆23Updated 2 years ago
• aidecentralized / nanda-servers
  A catalogue of existing Nanda servers
  ☆189Updated 7 months ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆56Updated last year