Alternatives and similar repositories for vtx

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

• 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…
  ☆28Updated last year
• asimov-platform / asimov.rs
  ✅ ASIMOV Software Development Kit (SDK) for Rust.
  ☆26Updated this week
• wnfs-wg / spec
  ☆48Updated last year
• AI-Protocol-Official / Documentation
  Examples and Guides
  ☆10Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• anoma / geb
  A Categorical View of Computation
  ☆34Updated last week
• VictorTaelin / Formality
  ☆42Updated 4 years ago
• IDNI / TML
  Tau Meta-Language
  ☆123Updated 2 years ago
• AIT-Protocol / einstein-ait-prod
  Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI
  ☆13Updated last year
• RhizomeDB / rs-rhizome
  ☆117Updated 2 years ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆140Updated last year
• wnfs-wg / rs-wnfs
  Rust implementation of the WebNative FileSystem (WNFS) specification
  ☆165Updated 2 months ago
• digama0 / olean-rs
  parser/viewer for olean files (lean 3)
  ☆13Updated 6 years ago
• singnet / ai-dsl
  Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
  ☆83Updated 6 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
• proyecto-chaucha / chaucha-gha-wallet-generator
  Chaucha functions for usage with Github Actions
  ☆11Updated 5 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆78Updated last year
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 3 years ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆58Updated 5 months ago
• ucan-wg / invocation
  UCAN Invocation & Pipelining
  ☆17Updated 5 months ago
• fission-codes / fission
  Fission CLI & server
  ☆119Updated last year
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 6 months ago
• F1R3FLY-io / f1r3node
  ☆14Updated this week
• purplesyringa / Kiwipedia
  Wikipedia clone for ZeroNet with auto-import
  ☆13Updated 2 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆93Updated 2 months ago
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated last month
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆34Updated 4 months ago
• ucan-wg / rs-ucan
  Rust implementation of UCAN
  ☆72Updated last month