Alternatives and similar repositories for vtx

Users that are interested in vtx are comparing it to the libraries listed below

• bit-current / DistributedTraining
  ☆8Updated last year
• lupuleasa-core / wearehostsformemes
  memetics and the meta-meme
  ☆8Updated 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
• AIT-Protocol / einstein-ait-prod
  Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI
  ☆13Updated 9 months ago
• commune-ai / subspace
  commune-ai blockchain node
  ☆14Updated last month
• XPRNetwork / grant-framework
  ☆12Updated last year
• trueagi-io / Vereya
  Python api for agents in minecraft
  ☆10Updated 2 months ago
• anoma / geb
  A Categorical View of Computation
  ☆33Updated 9 months ago
• benrayfield / wikibinator203
  Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…
  ☆25Updated last year
• fabhed / validator-endpoint
  Set up an access point to your Bittensor Validator.
  ☆14Updated last year
• o1-labs / o1js-bindings
  Bindings for o1js to lower layers of the proof system and the Mina transaction logic
  ☆13Updated 3 months ago
• Granola-Team / mina-indexer
  A GraphQL-enabled indexer of the Mina blockchain.
  ☆22Updated last month
• VictorTaelin / Formality
  ☆40Updated 4 years ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• wnfs-wg / spec
  ☆48Updated last year
• nukata / little-scheme-in-python
  A Scheme interpreter with first-class continuations in circa 500 lines of Python code
  ☆14Updated 5 years ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆138Updated 9 months ago
• proyecto-chaucha / chaucha-gha-wallet-generator
  Chaucha functions for usage with Github Actions
  ☆11Updated 4 years ago
• singnet / snet-daemon
  Service Daemon exposes an AI application as an API that is accessible through the SingularityNET Network. It handles all interaction with…
  ☆52Updated last week
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆71Updated 11 months ago
• aws-samples / ipfs-cluster-fargate
  ☆17Updated last year
• RhizomeDB / rs-rhizome
  ☆115Updated last year
• tileville / tileville
  Strategic City Development game built on MINA blockchain
  ☆14Updated 3 months ago
• IDNI / TML
  Tau Meta-Language
  ☆123Updated 2 years ago
• LIT-Protocol / Node
  This is a release snapshot repo of the Lit Node. Development happens in a private repo and we publish each release here as a snapshot.
  ☆17Updated 3 weeks ago
• ipvm-wg / spec
  High Level IPVM Spec
  ☆53Updated 2 years ago
• LogicalContracts / LogicalEnglish
  ☆34Updated last week
• Sifchain / sa-eliza
  Conversational Agent for Twitter and Discord
  ☆10Updated 3 weeks ago
• olistic / solana-x
  X clone built on Solana
  ☆8Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 11 months ago