☆15Jun 26, 2025Updated last year
Alternatives and similar repositories for ZeroKnowledgeFrameworksSurvey
Users that are interested in ZeroKnowledgeFrameworksSurvey are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Sep 29, 2026Updated 3 weeks ago
- Cryptographic protocol analysis for students and engineers.☆10Aug 27, 2019Updated 7 years ago
- RISC5Verilog for Pipistrello using lpddr memory☆14May 27, 2020Updated 6 years ago
- Artifact associated with CHES 2022 paper https://tches.iacr.org/index.php/TCHES/article/view/9817☆12Nov 10, 2023Updated 2 years ago
- Work related to vectorizing strategies for arbitrary FHE programs☆11Sep 5, 2025Updated last year
- 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.
- Qwen2.5-Coder is the code version of Qwen2.5, the large language model series developed by Qwen team, Alibaba Cloud.☆19Feb 14, 2025Updated last year
- ☆11Sep 7, 2023Updated 3 years ago
- ☆43Jul 21, 2026Updated 2 months ago
- Python package for ML developers and researchers to change certain variables while their code is executing to make the task of training a…☆11May 12, 2026Updated 5 months ago
- MQT-TZ Fork of the Open Source mosquitto MQTT broker leveraging ARM TrustZone. https://mosquitto.org☆11Jul 23, 2020Updated 6 years ago
- [ICLR26] Code and Pretrained Models for Brain-Semantoks - Brain Foundation Model☆18May 6, 2026Updated 5 months ago
- SIMPLE MAGIC: Synthesis and In-memory MaPping of Logic Execution for Memristor Aided loGIC☆15Jan 23, 2020Updated 6 years ago
- The code for Joint Neural Architecture Search and Quantization☆14Apr 10, 2019Updated 7 years ago
- ☆14Dec 24, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Semantic, self-describing binary format for Linked Data☆15Sep 4, 2026Updated last month
- Content and website setup for kollitsch.dev☆14Oct 12, 2026Updated last week
- Code for the ISCAS23 paper "The Hardware Impact of Quantization and Pruning for Weights in Spiking Neural Networks"☆11Apr 20, 2023Updated 3 years ago
- Circuit-level model for the Capacity-Latency Reconfigurable DRAM (CLR-DRAM) architecture. This repository contains the SPICE models of th…☆16Sep 24, 2020Updated 6 years ago
- Online engine for reasoning about the Noise Protocol Framework.☆21Apr 7, 2026Updated 6 months ago
- Requests And Offers is a hAppenings.community project to facilitate exchange between Holochain creators, developers, advocates, projects …☆17Oct 14, 2026Updated last week
- A jupyter book on brain decoding using functional magnetic resonance imaging☆13Oct 25, 2024Updated last year
- CS384 Tuts Projects☆12Nov 22, 2021Updated 4 years ago
- Fast L2-normalized linear regression☆13Aug 4, 2026Updated 2 months 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.
- Python3 script to convert Clang-Tidy output to different formats. Supported formats are Code Climate JSON and HTML report similar to scan…☆25Dec 11, 2024Updated last year
- ☆12Jan 25, 2024Updated 2 years ago
- Python code for "Conditional VAEs for Confound Removal and Normative Modelling of Neurodegenerative Diseases"☆10Oct 3, 2022Updated 4 years ago
- ☆16Aug 31, 2021Updated 5 years ago
- ☆38Jul 18, 2026Updated 3 months ago
- An Energy-Efficient Spiking Neural Network for Finger Velocity Decoding for Implantable Brain-Machine Interface☆12Apr 12, 2022Updated 4 years ago
- ☆14May 23, 2024Updated 2 years ago
- ☆15Nov 10, 2024Updated last year
- binary->LLVM->circuits☆19Feb 26, 2024Updated 2 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.
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- ☆15Sep 8, 2021Updated 5 years ago
- ☆10May 31, 2023Updated 3 years ago
- ☆11Oct 28, 2022Updated 3 years ago
- LoAS: Fully Temporal-Parallel Dataflow for Dual-Sparse Spiking Neural Networks, MICRO 2024.☆21Mar 19, 2025Updated last year
- Agent skills for Holochain hApp development on Holochain 0.7. Agent Skills Open Standard: Claude Code, opencode, Copilot, Cursor, Gemini …☆24Oct 6, 2026Updated 2 weeks ago
- A collection of Bristol format circuit files☆13Nov 15, 2022Updated 3 years ago