Alternatives and similar repositories for vtx

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

• lupuleasa-core / wearehostsformemes
  memetics and the meta-meme
  ☆8Updated last year
• anoma / geb
  A Categorical View of Computation
  ☆33Updated 8 months ago
• bit-current / DistributedTraining
  ☆8Updated last year
• o1-labs / o1js-bindings
  Bindings for o1js to lower layers of the proof system and the Mina transaction logic
  ☆13Updated 2 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆71Updated 10 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…
  ☆11Updated 6 years ago
• fission-codes / ipfs-cluster-aws
  ☆24Updated 3 years ago
• nukata / little-scheme-in-python
  A Scheme interpreter with first-class continuations in circa 500 lines of Python code
  ☆14Updated 5 years ago
• zeko-labs / zeko
  Zeko: zk-Rollup for Mina, a succinct blockchain
  ☆30Updated this week
• Granola-Team / mina-indexer
  A GraphQL-enabled indexer of the Mina blockchain.
  ☆22Updated 3 weeks 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
• 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 last month
• AIT-Protocol / einstein-ait-prod
  Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI
  ☆13Updated 8 months ago
• trueagi-io / Vereya
  Python api for agents in minecraft
  ☆10Updated 2 months ago
• ucan-wg / invocation
  UCAN Invocation & Pipelining
  ☆15Updated this week
• tommasocerruti / rowlang
  RowLang is a minimalistic esoteric programming language written as an analogy to rowing.
  ☆20Updated last year
• learnbittensor / awesome-bittensor
  A extensive list of all the awesome things around Bittensor.
  ☆11Updated last year
• LogicalContracts / LogicalEnglish
  ☆34Updated this week
• XPRNetwork / grant-framework
  ☆12Updated last year
• node101-io / zkvot
  zkvot - World's first fully live anonymous voting application!
  ☆19Updated 3 months ago
• riccardotommasini / imkg
  The Internet Memes Knowledge Graph
  ☆15Updated 9 months ago
• Glow-Lang / glow
  The Glow language for Blockchain Decentralized Applications.
  ☆59Updated 2 months ago
• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated last year
• IDNI / TML
  Tau Meta-Language
  ☆123Updated 2 years ago
• wnfs-wg / spec
  ☆48Updated last year
• VictorTaelin / Formality
  ☆40Updated 4 years ago
• storacha / w3infra
  🏗️ Infra for the w3up UCAN protocol implementation
  ☆21Updated last week
• digama0 / olean-rs
  parser/viewer for olean files (lean 3)
  ☆12Updated 6 years ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆137Updated 8 months ago