0-5788719150923125 / vtxLinks
an experiment
☆11Updated 9 months ago
Alternatives and similar repositories for vtx
Users that are interested in vtx are comparing it to the libraries listed below
Sorting:
- A Categorical View of Computation☆33Updated this week
- A zero-knowledge Lean4 compiler and kernel☆139Updated 11 months ago
- ☆41Updated 4 years ago
- Collection of Kind2 programs and proofs☆12Updated last year
- commune-ai blockchain node☆14Updated last month
- parser/viewer for olean files (lean 3)☆13Updated 6 years ago
- A extensive list of all the awesome things around Bittensor.☆12Updated last year
- The Internet Memes Knowledge Graph☆14Updated 11 months ago
- 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
- Lean 4 bindings to libcurl☆11Updated 4 months ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Updated last year
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 5 months ago
- A GraphQL-enabled indexer of the Mina blockchain.☆22Updated 3 months ago
- A complete filecoin lotus and boost docker image to spin up a localnet for smart contract development☆14Updated last year
- A minimal proof checker.☆76Updated last year
- 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
- Coq plugin for extracting Rust code☆13Updated last month
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆56Updated 2 months ago
- A Modeling Notation ꕤ☆15Updated 4 months ago
- Tau Meta-Language☆123Updated 2 years ago
- ☆48Updated last year
- A WebAssembly implementation in Lean4☆36Updated last year
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Updated 3 years ago
- Zeko: zk-Rollup for Mina, a succinct blockchain☆32Updated this week
- Verify Cairo contracts in Lean 4☆14Updated 4 months ago
- A Scheme interpreter with first-class continuations in circa 500 lines of Python code☆14Updated 5 years ago
- ☆28Updated 9 years ago
- A minimal decentralized computer.☆118Updated 3 years ago
- ☆17Updated last year