Interactive algebra and symbolic manipulation
☆15Aug 29, 2025Updated last year
Alternatives and similar repositories for algebra-sandbox
Users that are interested in algebra-sandbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Elliptic curve operations written in rust.☆12Jul 16, 2024Updated 2 years ago
- River is an experimental assembly-like programming language.☆142May 30, 2022Updated 4 years ago
- Tool to generate a dependency graph from a given set of files/directories☆24Nov 29, 2023Updated 2 years ago
- Implementations from Proofs, Arguments and Zero Knowledge☆14Mar 29, 2025Updated last year
- Odin bindings for mimalloc (https://github.com/microsoft/mimalloc). mimalloc is a compact general purpose allocator with excellent perfor…☆11May 29, 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.
- configjoy is a command line tool and GUI for structured, type safe editing of configuration files.☆15Mar 13, 2023Updated 3 years ago
- Write a lattice-based cryptographic protocol in a Rust-based DSL, much as you would write it on paper, and run it on GPUs, with no CUDA a…☆25Updated this week
- ☆16Apr 16, 2024Updated 2 years ago
- Arduino library for the DHT22 Temperature & Humidity Sensor Module☆12Dec 29, 2013Updated 12 years ago
- A collection of cryptographic and zero-knowledge algorithms implemented from scratch in Rust☆23Nov 21, 2024Updated last year
- Specifications for the Ethereum Access Layer, how to read, write, prove, delegate and exit☆27Oct 3, 2026Updated last month
- RISC-V ELF interpreter in cairo☆37Oct 18, 2024Updated 2 years ago
- 5GL C Stack Machine (Fifth Generation Graph Language)☆12Jan 10, 2019Updated 7 years ago
- OrangePi by Allwinner H3 miscellany☆11Feb 15, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆11Feb 26, 2024Updated 2 years ago
- Coloniz empowers you to build smart, autonomous communities effortlessly.☆27Jun 18, 2025Updated last year
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- ☆12Apr 14, 2020Updated 6 years ago
- Evm cli tool for interacting and analyzing smart contracts☆15Jan 24, 2023Updated 3 years ago
- ☆35Sep 11, 2023Updated 3 years ago
- Documentation for deploying prod grades Starknet nodes☆11Mar 31, 2023Updated 3 years ago
- Odin bindings for FreeType☆19Dec 17, 2024Updated last year
- Researching authentication methods to enable non-custodial wallet creation via social platform logins such as Google, Facebook, etc.☆10Sep 28, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Ceilings - Rustlings and Ziglings for C! **[MOVED TO CODEBERG]**☆53Aug 2, 2025Updated last year
- A back-end for the Accelerate library using the Repa library☆14Jan 13, 2012Updated 14 years ago
- Rust project template with CI-built releases☆12Mar 14, 2020Updated 6 years ago
- POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors☆45Jul 16, 2024Updated 2 years ago
- Javascript / node.js code to read FCS flow cytometry data☆19Jun 19, 2023Updated 3 years ago
- ☆10Jul 21, 2021Updated 5 years ago
- Reproducible builds for Ethereum Ecosystem (Debian/Ubuntu)☆11Sep 7, 2025Updated last year
- ☆10Aug 4, 2023Updated 3 years ago
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Aug 14, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- hono + drizzle + cloudflare D1☆13Oct 31, 2026Updated last week
- ear trainer and tools for playing and programming music and audio 🎶🦜☆17Sep 4, 2026Updated 2 months ago
- GreenArrays Development Software including Simulator☆13Feb 20, 2015Updated 11 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated last year
- ☆13Dec 15, 2025Updated 10 months ago
- Step by step Storage Proofs with Herodotus || Workshop/tutorial showcasing YAB <> Herodotus integration☆10Aug 25, 2026Updated 2 months ago
- ☆12Sep 19, 2023Updated 3 years ago
Are these results useful?