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.
  ☆14Updated 3 weeks ago
• jkirkby3 / BsplineDensity
  B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.
  ☆15Updated 4 years ago
• Fluidize-Inc / fluidize-python
  A Python library for building modular, reproducible simulation pipelines in minutes
  ☆29Updated last month
• math-inc / strongpnt
  ☆250Updated last month
• OpenwaterHealth / opw_neuromod_hw
  Openwater's Open-Source Neuromodulation Hardware
  ☆20Updated last year
• 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
• yeahrmek / pylean
  Python wrapper for lean-gym
  ☆12Updated 2 years ago
• ActiveInferenceInstitute / ActiveBlockference
  ☆29Updated 2 years ago
• harmonic-ai / IMO2025
  ☆48Updated 2 months ago
• adamnemecek / traceoid.ai
  ☆104Updated 10 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…
  ☆24Updated last week
• acornprover / acornlib
  Acorn's standard library of mathematical facts.
  ☆34Updated this week
• aidecentralized / sonar
  SONAR - Self-Organizing Network of Aggregated Representations
  ☆22Updated 2 months ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆21Updated 2 years ago
• bageldotcom / zkLoRA
  Efficient Zero-Knowledge Proofs for LoRA Verification
  ☆141Updated last week
• lean-dojo / LeanAgent
  LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…
  ☆37Updated 3 months ago
• morph-labs / lean-abc-true-almost-always
  ☆81Updated 3 months ago
• StanfordVL / sail-blog
  The SAIL blog
  ☆11Updated 2 weeks ago
• verses-xyz / pluriverse
  🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”
  ☆14Updated 3 years ago
• lindy-labs / aegis
  Verify Cairo contracts in Lean 4
  ☆14Updated 4 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆111Updated last year
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆71Updated 8 months ago
• PsycheFoundation / psyche
  An open infrastructure to democratize and decentralize the development of superintelligence for humanity.
  ☆490Updated this week
• NeoVertex1 / ComplexTensor
  ComplexTensor: Machine Learning By Bridging Classical and Quantum Computation
  ☆77Updated 10 months ago
• DefenderOfBasic / PhD
  Open notebook for my research in culture science
  ☆78Updated 6 months ago
• ibab / babushk.in
  Source files for my blog. Based on Hakyll.
  ☆17Updated last year
• starkware-libs / formal-proofs
  ☆65Updated 11 months ago
• rahul3613 / ProofNet-lean4
  ProofNet dataset ported into Lean 4
  ☆25Updated 4 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• TreeHacks / computer-vision-hackpack
  ☆14Updated 2 years ago