=nil; Foundation's Algebraic Operations and Structures Module
☆10May 26, 2024Updated last year
Alternatives and similar repositories for crypto3-algebra
Users that are interested in crypto3-algebra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Placeholder proof system verifier for EVM☆10Jul 4, 2025Updated 10 months ago
- I ❤︎ FEM: A finite element method demo in Umka and tophat☆19Jul 12, 2025Updated 10 months ago
- Circuit components definition library for zkLLVM circuit compiler☆42Sep 7, 2024Updated last year
- Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.☆32Jul 29, 2024Updated last year
- Web Assembly low level implementation of pairing friendly curves.☆15Mar 20, 2026Updated 2 months 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.
- Common code library☆15Feb 3, 2018Updated 8 years ago
- Lua library for packing and unpacking binary data☆12May 19, 2022Updated 4 years ago
- vhdl related contents☆11Apr 27, 2020Updated 6 years ago
- cli tool to provide unified interface for benchmark unit-testing☆10Aug 6, 2024Updated last year
- A benchmark for standard libraries☆21Sep 23, 2023Updated 2 years ago
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Feb 3, 2018Updated 8 years ago
- In-EVM Solana Light Client State Verification☆36May 10, 2024Updated 2 years ago
- Create Tarantool Lua scripts using TypeScript☆13Updated this week
- Package for loading external lua config☆10Sep 12, 2024Updated last year
- 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.
- ☆15May 26, 2025Updated 11 months ago
- Clang plugin with several static analysis checks☆28Jul 16, 2025Updated 10 months ago
- Accelerating MSM Operations on GPU/FPGA☆15Sep 16, 2022Updated 3 years ago
- C++ library for Fast Fourier Transforms in finite fields☆102May 14, 2021Updated 5 years ago
- Code that accompanies the paper "Lightweight Techniques for Private Heavy Hitters" at IEEE S&P 2021.☆29Jul 16, 2023Updated 2 years ago
- OpenDesign Flow Database☆17Oct 31, 2018Updated 7 years ago
- An implementation of the Austral language compiler in Rust☆15Apr 25, 2024Updated 2 years ago
- Rust bindings to [primesieve](http://primesieve.org)☆10May 7, 2017Updated 9 years ago
- Prototype of a graphical user interface for pyiron (unstable)☆25Jun 30, 2025Updated 10 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.
- Modern Cryptography Suite in C++17☆87Oct 14, 2024Updated last year
- VeriPy is a python based Verilog/Systemverilog automation tool. It automates ports/wire/reg/logic declarations, sub-module Instantiation,…☆37Apr 15, 2026Updated last month
- Fast Asynchronous HTTP/1.1 Server☆35Jun 30, 2023Updated 2 years ago
- Generic range-based sharding prototype☆28Jul 18, 2023Updated 2 years ago
- basic Funcnodes package☆32May 7, 2026Updated 2 weeks ago
- Repository where you can clone anything which has to do with Automation.☆11Nov 4, 2024Updated last year
- SHiP experiment framework based on FairRoot☆30May 13, 2026Updated last week
- Rust client library for @tailscale.☆11Oct 5, 2022Updated 3 years ago
- A minimalist Jekyll theme, ideally designed for your academic site.☆27Apr 7, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆43Oct 26, 2024Updated last year
- A position (finance) definition that has some good algebraic properties.☆15Dec 4, 2022Updated 3 years ago
- A framework for generic hybrid two-party computation and private inference with neural networks☆31Feb 26, 2023Updated 3 years ago
- Monitor your wallets as prometheus metrics☆11Feb 21, 2025Updated last year
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆32Dec 19, 2024Updated last year
- C++ library for Finite Fields and Elliptic Curves☆168Oct 5, 2021Updated 4 years ago
- A cli for puffing your repo with a fake language. Hit GitHub trending in a less popular language.☆11Apr 19, 2019Updated 7 years ago