Noname: a programming language to write zkapps
-
Updated
Jun 9, 2024 - Rust
Noname: a programming language to write zkapps
A digital logic designer and circuit simulator.
Qucs-S is a circuit simulation program with Qt-based GUI
digilogic is a high speed digital circuit simulator / schematic capture
Hybrid IC design environment
GPL Electronic Design Automation
Toolset to capture, simulate, synthesize and verify graph models
Knowledge Circuits in Pretrained Transformers
DeckBox for Pokémon TCG: https://play.google.com/store/apps/details?id=com.r0adkll.deckbuilder
AdaCAD is an experimental workspace that applies parametric design to the domain of weave drafting. It supports algorithmic and playful approaches to developing woven structures and cloth, for shaft and jacquard looms.
Sindri Zero-Knowledge Proof CLI
S + Autograd + XLA :: S-parameter based frequency domain circuit simulations and optimizations using JAX.
A connectome manipulation framework for SONATA circuits
Biologically detailed neural network simulations and analysis API
A python and C++ interface to the SONATA format
SFU Engineering Capstone Project
gdsfactory plugins
基于 MkDocs & Material theme 的个人知识库
Add a description, image, and links to the circuit topic page so that developers can more easily learn about it.
To associate your repository with the circuit topic, visit your repo's landing page and select "manage topics."