Alternatives and similar repositories for vtx

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

• VictorTaelin / Formality
  ☆41Updated 4 years 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…
  ☆26Updated last year
• nukata / little-scheme-in-python
  A Scheme interpreter with first-class continuations in circa 500 lines of Python code
  ☆15Updated 5 years 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
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• aws-samples / ipfs-cluster-fargate
  ☆17Updated last year
• riccardotommasini / imkg
  The Internet Memes Knowledge Graph
  ☆14Updated last year
• anoma / geb
  A Categorical View of Computation
  ☆33Updated last week
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• s5-dev / S5
  Decentralized content-addressed storage network
  ☆81Updated 5 months ago
• Glow-Lang / glow
  The Glow language for Blockchain Decentralized Applications.
  ☆60Updated 2 months ago
• memeticofficial / pepecoin-memetic
  Memetic / PepeCoin - MEME / PEPE - Cryptocurrency - 3.1.1.0
  ☆18Updated 3 months ago
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated 5 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• codex-storage / nim-codex
  Decentralized Durability Engine
  ☆85Updated this week
• wipplelang / wipple
  Learn to code with Wipple.
  ☆38Updated 2 weeks ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆77Updated last year
• digama0 / olean-rs
  parser/viewer for olean files (lean 3)
  ☆13Updated 6 years ago
• ucan-wg / invocation
  UCAN Invocation & Pipelining
  ☆17Updated 3 months ago
• ipns-link / ipns-link
  Expose local http-servers (web-apps) through IPNS-Link
  ☆33Updated 3 years ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆139Updated last year
• o1-labs / o1js-bindings
  Bindings for o1js to lower layers of the proof system and the Mina transaction logic
  ☆13Updated 6 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 4 months ago
• purplesyringa / Kiwipedia
  Wikipedia clone for ZeroNet with auto-import
  ☆13Updated 2 years ago
• filecoin-project / go-f3
  Golang implementation of Fast Finality for Filecoin (F3)
  ☆14Updated last week
• wnfs-wg / spec
  ☆48Updated last year
• FlatAssembler / AECforWebAssembly
  A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…
  ☆37Updated this week
• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆33Updated 2 months 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 months ago