A collection of functions written in Triton VM assembly (tasm)
☆12Sep 29, 2026Updated last month
Alternatives and similar repositories for tasm-lib
Users that are interested in tasm-lib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Writing tasm with Rust syntax☆16Aug 27, 2026Updated 2 months ago
- Terminal User Interface to help debugging programs written for Triton VM.☆11May 11, 2026Updated 5 months ago
- Collection of mathematics routines and cryptography for the twenty-first century☆97Oct 26, 2026Updated last week
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 3 years ago
- ☆12Dec 12, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆281Updated this week
- 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
- anonymous peer-to-peer cash☆113Updated this week
- A rust implementation of the Falcon post-quantum signature scheme☆30Aug 20, 2026Updated 2 months ago
- lang Thue + Regex☆15Apr 20, 2022Updated 4 years ago
- Tutorial for STARKs with supporting code in python☆237Jun 24, 2025Updated last year
- ☆13Updated this week
- ☆15Oct 15, 2016Updated 10 years ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆77Nov 6, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆18Sep 29, 2026Updated last month
- SHA-3 Keccak implementation in C.☆20Jun 1, 2015Updated 11 years ago
- A domain-specific language for writing AIR constraints for STARKs☆97Apr 16, 2026Updated 6 months ago
- a simple git hook to add co-authors to commit message☆10Apr 16, 2020Updated 6 years ago
- A watchdog utility for tokio runtimes☆18Dec 19, 2025Updated 10 months ago
- ☆18Jan 24, 2023Updated 3 years ago
- A Kaspa pool using rusty-kaspa by WASM bindings.☆10Aug 1, 2024Updated 2 years 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 3 weeks ago
- ☆17Oct 24, 2022Updated 4 years ago
- 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.
- The safest and lightest forum, powered by rust.☆318Updated this week
- A virtual machine controlled via stdin/stdout☆33Aug 2, 2022Updated 4 years ago
- Compiler for BitML☆27Mar 10, 2022Updated 4 years ago
- Qubic Node Code☆20Feb 29, 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
- Grafana MCP server extension for Zed☆13Jan 16, 2026Updated 9 months ago
- SQRL FK33 and FK35 board files, example designs and scripts.☆24Oct 24, 2026Updated last week
- The instance generator of the Vision and Rescue block ciphers.☆18Mar 4, 2022Updated 4 years ago
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆382Nov 19, 2024Updated last year
- 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.
- Formalizing the Intel 4004 microprocessor☆26Jul 14, 2026Updated 3 months ago
- Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and wi…☆37Jun 3, 2025Updated last year
- Open Source Multi-Asset Market Simulator☆50Oct 23, 2026Updated last week
- Peer to Peer botnet☆12Aug 7, 2020Updated 6 years ago
- Sword — A financial derivative language for the blockchain☆28Feb 16, 2021Updated 5 years ago
- Apple Photos export tool☆43Jan 5, 2020Updated 6 years ago
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 4 years ago