Alternatives and similar repositories for vtx

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

• anoma / geb
  A Categorical View of Computation
  ☆33Updated this week
• 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…
  ☆26Updated last year
• AIT-Protocol / einstein-ait-prod
  Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI
  ☆13Updated 10 months ago
• VictorTaelin / Formality
  ☆41Updated 4 years ago
• digama0 / olean-rs
  parser/viewer for olean files (lean 3)
  ☆13Updated 6 years ago
• asimov-platform / asimov.rs
  ✅ ASIMOV Software Development Kit (SDK) for Rust.
  ☆21Updated this week
• proyecto-chaucha / chaucha-gha-wallet-generator
  Chaucha functions for usage with Github Actions
  ☆11Updated 4 years ago
• LogicalContracts / LogicalEnglish
  ☆35Updated last week
• Granola-Team / mina-indexer
  A GraphQL-enabled indexer of the Mina blockchain.
  ☆22Updated 2 months ago
• nukata / little-scheme-in-python
  A Scheme interpreter with first-class continuations in circa 500 lines of Python code
  ☆14Updated 5 years ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆30Updated last month
• o1-labs / o1js-bindings
  Bindings for o1js to lower layers of the proof system and the Mina transaction logic
  ☆13Updated 4 months ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• PaimaStudios / paima-game-templates
  Paima Engine Game Templates for developers.
  ☆11Updated 8 months ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated last month
• lindy-labs / aegis
  Verify Cairo contracts in Lean 4
  ☆14Updated 3 months ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆139Updated 9 months ago
• namoray / vision
  ☆25Updated last year
• commune-ai / subspace
  commune-ai blockchain node
  ☆14Updated 2 weeks ago
• fission-codes / spec
  ☆11Updated 2 years ago
• trueagi-io / hyperon-experimental
  MeTTa programming language implementation
  ☆202Updated this week
• 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
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆35Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 11 months ago
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆75Updated last year
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 9 months ago
• zeko-labs / zeko
  Zeko: zk-Rollup for Mina, a succinct blockchain
  ☆32Updated this week
• aleph-im / aleph-client
  Lightweight Python Client library for the Aleph.im network
  ☆14Updated 2 weeks ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated 3 weeks ago