0xmoei / succinctView external linksLinks
Detailed Guide to Run a Prover on Succinct network!
☆31Jul 11, 2025Updated 7 months ago
Alternatives and similar repositories for succinct
Users that are interested in succinct are comparing it to the libraries listed below
Sorting:
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Dec 2, 2024Updated last year
- A SapientML plugin of SapientMLGenerator☆11Dec 23, 2025Updated last month
- ☆12Apr 21, 2025Updated 9 months ago
- A platform aimed at creating websites that perform self-optimization☆12May 4, 2024Updated last year
- 2D physics engine☆11Jan 12, 2023Updated 3 years ago
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 2 years ago
- ☆15May 13, 2024Updated last year
- Pagination for TelegramBot CallbackQuery☆11Apr 14, 2021Updated 4 years ago
- berg 🦀 Transform the contents of Epub documents.☆10Apr 27, 2023Updated 2 years ago
- Naoris Protocol is the world's first Decentralized Security Layer designed for system and data reliability across Web2 & Web3 architectur…☆10Mar 9, 2025Updated 11 months ago
- ☆13Jan 29, 2026Updated 2 weeks ago
- ☆17Jan 12, 2026Updated last month
- Repository of papers released by Modulus Labs☆13Mar 13, 2024Updated last year
- Command line tool for collecting TODO markers from your code, known as Puzzle Driven Development (PDD)☆13Sep 16, 2023Updated 2 years ago
- Automatic audio transcription to .srt using Google's Speech to Text API☆12Oct 26, 2020Updated 5 years ago
- Rust implementation of the Fift esoteric language☆12Aug 19, 2025Updated 5 months ago
- scraped www.allitebooks.com and index all the books available.☆12Oct 1, 2020Updated 5 years ago
- Opinionated, library-agnostic Python framework for rapid development of Telegram bots and userbots with focus on maintainability for larg…☆10Feb 16, 2023Updated 2 years ago
- One click guide to run Sixgpt Minner on Vana Network☆45Oct 8, 2024Updated last year
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆31Dec 21, 2025Updated last month
- Simple contract for allowing anyone with a right ticket to withdraw some amount of coins from the treasury☆17Jun 3, 2023Updated 2 years ago
- Get description of any word from merriam-webster on your CLI, in nice format!☆10Dec 19, 2022Updated 3 years ago
- ☆10Feb 27, 2024Updated last year
- HTML UI for Ollama. Minimal & responsive UI: mobile & desktop. Cross-browser support. Simple installation: host on your own server, run i…☆11Nov 5, 2025Updated 3 months ago
- Automate AI testing & ensure model trustworthiness☆13Nov 16, 2024Updated last year
- Official implementation of the AAAI 2025 paper: "GSDiff: Synthesizing Vector Floorplans via Geometry-enhanced Structural Graph Generation…☆16Jan 22, 2026Updated 3 weeks ago
- Convolutional Neural Networks learns to play chess moves☆17Aug 30, 2025Updated 5 months ago
- ☆17Dec 7, 2024Updated last year
- Video editing and animation using programming languages!☆12Jan 29, 2026Updated 2 weeks ago
- Sentiment Analysis System based on B4MSA and EvoDAG☆10Jan 25, 2026Updated 2 weeks ago
- Docker Complete Guide - Run Nexus node as Prover Network.☆15Aug 25, 2025Updated 5 months ago
- Source code for SimBac, a bacterial genome simulator☆14Sep 20, 2024Updated last year
- turn small javascript functions into GPT function calls☆12Aug 23, 2023Updated 2 years ago
- Noir compiler enhancements developed by the Blocksense team.☆17Jan 12, 2026Updated last month
- ☆12Jan 5, 2024Updated 2 years ago
- A Model Context Protocol (MCP) server that enables Claude to access, analyze, and visualize Solana blockchain data through natural langua…☆18Mar 16, 2025Updated 10 months ago
- slowly building a set of infinite riddle generators for data-hungry methods☆14Nov 15, 2022Updated 3 years ago
- Give your AI coding assistants access to Raygun so they can investigate, explain, and help resolve errors for you.☆19Dec 5, 2025Updated 2 months ago
- Official repository for the ISPRS paper "RoIPoly: Vectorized Building Outline Extraction Using Vertex and Logit Embeddings"☆18Dec 9, 2025Updated 2 months ago