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 4 months ago
• StanfordVL / sail-blog
  The SAIL blog
  ☆13Updated last month
• aidecentralized / sonar
  SONAR - Self-Organizing Network of Aggregated Representations
  ☆22Updated 6 months ago
• OpenwaterHealth / opw_neuromod_hw
  Openwater's Open-Source Neuromodulation Hardware
  ☆22Updated last year
• JasonGross / guarantees-based-mechanistic-interpretability
  ☆17Updated this week
• math-inc / strongpnt
  ☆290Updated 4 months ago
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• harmonic-ai / IMO2025
  ☆57Updated 6 months ago
• ActiveInferenceInstitute / ActiveBlockference
  ☆31Updated 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…
  ☆52Updated 7 months ago
• WecoAI / weco-cli
  The Platform for Self-Improving Code. Ideal for GPU kernels, ML model development, feature engineering, prompt engineering, and other opt…
  ☆29Updated this week
• Fluidize-Inc / fluidize-python
  A Python library for building modular, reproducible simulation pipelines in minutes
  ☆32Updated 5 months ago
• jkirkby3 / BsplineDensity
  B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.
  ☆15Updated 4 years ago
• Kripner / nanoproof
  Minimal open-source implementation of AlphaProof [WIP]
  ☆60Updated this week
• ActiveInferenceInstitute / Symposium
  ☆11Updated 2 months ago
• DSiSc / why3
  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
• acornprover / acornlib
  Acorn's standard library of mathematical facts.
  ☆48Updated last week
• desciglobal / ui
  an overview of decentralized science events and meetups
  ☆15Updated 2 years ago
• verses-xyz / pluriverse
  🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”
  ☆15Updated 3 years ago
• ActiveInferenceInstitute / ActiveInferenceCategoryTheory
  Active Inference & Category Theory
  ☆10Updated last year
• lindermanlab / hackathons
  Jupyter notebooks from our weekly (or so) hackathons
  ☆11Updated last year
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆150Updated this week
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆34Updated last year
• adamnemecek / traceoid.ai
  ☆110Updated last year
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆60Updated last year
• project-numina / numina-lean-agent
  ☆122Updated this week
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆144Updated this week
• morph-labs / lean-abc-true-almost-always
  ☆83Updated 7 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆118Updated last year