Easy-to-use Sigma proofs in C using libsodium.
☆18Feb 26, 2026Updated 4 months ago
Alternatives and similar repositories for c-sigma
Users that are interested in c-sigma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The implementation of Test Time Diffusion paper by Google with some tweaks to run on 24gb gpu☆19Oct 23, 2025Updated 8 months ago
- Maintain a lower-bitrate copy of a music library in sync with the main copy.☆20Dec 22, 2025Updated 6 months ago
- Minimalist Web components for your static website☆11Jun 18, 2021Updated 5 years ago
- A header-only, cross-platform JIT compiler library in C—targets i386, x86-64, ARM32, ARM64, RISC-V 64☆106Feb 25, 2026Updated 4 months ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 5 years 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.
- Timer Wheels With Various Runtimes In Rust☆15Nov 29, 2017Updated 8 years ago
- ☆22Nov 26, 2022Updated 3 years ago
- Haskell implementation of the InterPlanetary File System☆14Jul 30, 2014Updated 11 years ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- Type-Level Arithmetic in Rust☆10Jan 11, 2016Updated 10 years ago
- Constant Time Operations for Crypto Libraries☆10Jun 22, 2017Updated 9 years ago
- Binary wrapper that disables vDSO for a wrapped application.☆18Feb 17, 2026Updated 5 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆76Feb 5, 2023Updated 3 years ago
- Mix Network Bibliography☆15Feb 6, 2020Updated 6 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.
- A GitHub self-hosted runner capable of running in cloud run☆15Apr 11, 2023Updated 3 years ago
- A pure-Rust implementation of Curve41417☆16Aug 28, 2015Updated 10 years ago
- a web page / paper☆18Feb 24, 2017Updated 9 years ago
- Planning, scheming and designing of {-# LANGAUGE ConstraintKinds #-} for Rust☆12Apr 6, 2018Updated 8 years ago
- LibP2P networking library written in Rust☆12Dec 29, 2021Updated 4 years ago
- a rust typescript integration☆63Jul 4, 2025Updated last year
- Result monad for Elixir inspired by Rust Result type☆22Feb 15, 2024Updated 2 years ago
- Algorand's reference implementation of bls signature scheme☆14Sep 7, 2020Updated 5 years ago
- Odds and ends — collection miscellania. Extra functionality for slices, strings and other things☆22Apr 11, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Functional assertion combinators.☆24Jan 29, 2024Updated 2 years ago
- High performance Minecraft seed viewer☆10Jan 19, 2023Updated 3 years ago
- Testing various algorithms for resolving node overlaps in a flow☆15Dec 1, 2025Updated 7 months ago
- Argon2 password hashing for Gleam.☆22Jun 1, 2024Updated 2 years ago
- Computer Vision ML inference in C++☆44Apr 2, 2026Updated 3 months ago
- Tensor library for machine learning☆17Jul 13, 2023Updated 3 years ago
- Rough Sphinx extension for diagrams☆22Jan 12, 2026Updated 6 months ago
- A VM that uses LFSR instead of a normal program counter that runs Forth☆17Apr 14, 2026Updated 3 months ago
- Simple Single Header Normal Map Generator☆15May 26, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆13Aug 7, 2023Updated 2 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆11Nov 18, 2017Updated 8 years ago
- mGBA dependencies☆19Jul 6, 2026Updated 2 weeks ago
- The secure, transparent, auditable, reliable electronic voting system☆14Oct 6, 2016Updated 9 years ago
- WhisperCrabs is a simple terminal-based floating recording button, click, and transcribe to input☆17Mar 9, 2026Updated 4 months ago
- mp2k-clef is a player and VST3/CLAP plugin for MusicPlayer2000 tracks from Game Boy Advance games.☆16Feb 26, 2026Updated 4 months ago
- c++ console cookie clicker (linux)☆16Jun 16, 2026Updated last month