renlabs-dev / torus-substrateLinks
The Torus Blockchain implementation.
☆20Updated this week
Alternatives and similar repositories for torus-substrate
Users that are interested in torus-substrate are comparing it to the libraries listed below
Sorting:
- Collection of Kind2 programs and proofs☆11Updated last year
- ☆23Updated 2 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆13Updated this week
- 🧪 | LLVM backend for HVM☆23Updated 2 years ago
- The Simplest Parser Library (that works) in Rust☆44Updated 10 months ago
- ☆119Updated last year
- An interaction combinator runtime☆17Updated 9 months ago
- my personal lang☆16Updated last year
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Updated 7 months ago
- A minimal proof checker.☆74Updated 9 months ago
- ☆50Updated 5 months ago
- HVM3☆225Updated last week
- alternative commune cli/sdk☆27Updated 5 months ago
- Bend2 - WIP☆38Updated this week
- Lightweight, higher-order parser in Rust.☆12Updated 2 years ago
- ☆17Updated last year
- Temporary repository for Kind2's refactor based on HVM2☆281Updated 9 months ago
- 🧮 | Writing an Equation Solver☆34Updated last year
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- A highly experiment portable runtime☆19Updated last year
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated 6 months ago
- An implementation of the Austral language compiler in Rust☆14Updated last year
- A toy incremental computation framework☆15Updated 4 years ago
- A zero-knowledge Lean4 compiler and kernel☆134Updated 7 months ago
- ☆13Updated 2 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆125Updated last month
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- ☆15Updated last month
- A WebAssembly implementation in Lean4☆34Updated last year
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago