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
• wnfs-wg / spec
  ☆48Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• AIT-Protocol / einstein-ait-prod
  Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI
  ☆13Updated last year
• asimov-platform / asimov.rs
  ✅ ASIMOV Software Development Kit (SDK) for Rust.
  ☆26Updated last month
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated last month
• ucan-wg / invocation
  UCAN Invocation & Pipelining
  ☆17Updated 4 months ago
• nukata / little-scheme-in-python
  A Scheme interpreter with first-class continuations in circa 500 lines of Python code
  ☆15Updated 5 years ago
• digama0 / olean-rs
  parser/viewer for olean files (lean 3)
  ☆13Updated 6 years ago
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• anoma / geb
  A Categorical View of Computation
  ☆34Updated this week
• setzstone / aiacid
  AI Acid: Enlightening LLMs Through Lexical Entropy
  ☆15Updated 6 months ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆139Updated last year
• VictorTaelin / Formality
  ☆42Updated 4 years ago
• ChainAgnostic / varsig
  The cryptographic signature multifomat
  ☆13Updated 5 months ago
• informalsystems / themis-contract
  A command line-based parameterized contracting tool
  ☆46Updated 2 years ago
• RhizomeDB / rs-rhizome
  ☆116Updated 2 years ago
• ipvm-wg / spec
  High Level IPVM Spec
  ☆53Updated 2 years ago
• o1-labs / o1js-bindings
  Bindings for o1js to lower layers of the proof system and the Mina transaction logic
  ☆13Updated 7 months ago
• EngineeringSoftware / math-comp-corpus
  Corpus of Coq code related to MathComp including several machine-readable representations
  ☆10Updated 3 years ago
• riccardotommasini / imkg
  The Internet Memes Knowledge Graph
  ☆14Updated last year
• bergmannjg / leanCurl
  Lean 4 bindings to libcurl
  ☆11Updated 6 months ago
• tabcat / zzzync
  sync with peers that have gone to sleep 😴
  ☆20Updated 2 weeks ago
• commune-ai / subspace
  commune-ai blockchain node
  ☆14Updated 4 months ago
• eberban / eberban
  Parser and dictionary for the eberban language.
  ☆31Updated last month
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• golemfactory / ya-runtime-vm
  Docker-like runtime enviroment implementation for Golem
  ☆16Updated 5 months ago
• gordonbrander / szdt
  Signed Zero-trust DaTa - signed CBOR for censorship-resistant data
  ☆28Updated 4 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…
  ☆12Updated 7 years ago