Terminal User Interface to help debugging programs written for Triton VM.
☆11May 11, 2026Updated 5 months ago
Alternatives and similar repositories for triton-tui
Users that are interested in triton-tui are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of functions written in Triton VM assembly (tasm)☆12Sep 29, 2026Updated 3 weeks ago
- Writing tasm with Rust syntax☆16Aug 27, 2026Updated last month
- ☆12Dec 12, 2025Updated 10 months ago
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 3 years ago
- A rust implementation of the Falcon post-quantum signature scheme☆30Aug 20, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Collection of mathematics routines and cryptography for the twenty-first century☆97Sep 29, 2026Updated 3 weeks ago
- Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the mult…☆27Oct 11, 2026Updated last week
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆281Sep 30, 2026Updated 3 weeks ago
- anonymous peer-to-peer cash☆113Updated this week
- A domain-specific language for writing AIR constraints for STARKs☆97Apr 16, 2026Updated 6 months ago
- Formalizing the Intel 4004 microprocessor☆26Jul 14, 2026Updated 3 months ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆77Nov 6, 2025Updated 11 months ago
- a simple git hook to add co-authors to commit message☆10Apr 16, 2020Updated 6 years ago
- Tutorial for STARKs with supporting code in python☆237Jun 24, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Aug 1, 2024Updated 2 years ago
- A watchdog utility for tokio runtimes☆18Dec 19, 2025Updated 10 months ago
- Understanding Linux in brief, guide for Command Line Interface, Troubleshoot☆12Dec 19, 2021Updated 4 years ago
- Ring Signature-like Protocol for Anonymous Ethereum Signatures☆10Nov 21, 2024Updated last year
- An ongoing & curated collection of awesome software best practices and techniques, libraries and frameworks, E-books and videos, websites…☆14Mar 25, 2023Updated 3 years ago
- CSC405: Operating System [OS] & CSL404: Operating System Lab [OS Lab] | SE Semester IV | Computer Engineering☆24Sep 5, 2026Updated last month
- ☆18Jan 24, 2023Updated 3 years ago
- RITlug website☆13Oct 15, 2026Updated last week
- A Kaspa pool using rusty-kaspa by WASM bindings.☆10Aug 1, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆17Oct 24, 2022Updated 3 years ago
- TUI for tailing chain data☆11May 28, 2025Updated last year
- Community edition of Nightfall_4☆18Updated this week
- Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and wi…☆36Jun 3, 2025Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆41Oct 28, 2025Updated 11 months ago
- Raspberry PI 4 handbook based on what I found most interesting, helpful and intriguing. From owning one to configuring in such a way that…☆10Oct 7, 2023Updated 3 years ago
- The instance generator of the Vision and Rescue block ciphers.☆18Mar 4, 2022Updated 4 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆12Apr 20, 2024Updated 2 years ago
- Lira is a declarative domain-specific language designed to be the backbone of financial contracts that can be executed on the blockchain☆21Jul 14, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Jul 16, 2026Updated 3 months ago
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆382Nov 19, 2024Updated last year
- ☆18Jun 30, 2024Updated 2 years ago
- Procedural macro to easily write higher-order strategies in proptest.☆54Aug 22, 2026Updated 2 months ago
- Sword — A financial derivative language for the blockchain☆28Feb 16, 2021Updated 5 years ago
- Archived - Lisp-based DSL (Domain-Specific Language), designed to implement constraint systems in the context of zero-knowledge proof sys…☆21Dec 1, 2025Updated 10 months ago
- Refinement types encoded with private types in OCaml.☆11Oct 18, 2020Updated 6 years ago