keras2circom
Circuit compiler
Transpiles neural networks into digital circuits
python tool to transpile a tf.keras model into a circom circuit
289 stars
32 watching
52 forks
Language: Jupyter Notebook
last commit: 10 months ago
Linked from 1 awesome list
worldcoin/awesome-zkmlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 iden3/circom_old | A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
| iden3/circom | A compiler for defining arithmetic circuits used in zero-knowledge proofs | 1,339 |
 opconty/keras-shufflenetv2 | A Keras implementation of ShuffleNet V2 architecture for deep learning models | 96 |
 circify/circ | A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification. | 286 |
 rcmalli/keras-squeezenet | An implementation of the SqueezeNet neural network model in the Keras framework | 404 |
 kobiso/cbam-keras | A repository implementing a Keras-based architecture for improving neural network representation power with attention mechanisms and squeeze-and-excitation networks. | 361 |
 aurora95/keras-fcn | Keras implementation of Fully Convolutional Networks for Semantic Segmentation | 650 |
 gmalivenko/pytorch2keras | Converts PyTorch models to Keras models | 857 |
 jihongju/keras-fcn | A library implementing a Fully Convolutional Network architecture with Keras support | 202 |
 olimorris/codecompanion.nvim | An AI-powered coding companion for Neovim, providing support for various language models and integrating with the editor for code completion, transformations, and more. | 1,070 |
 yuyang-huang/keras-inception-resnet-v2 | Represents an implementation of the Inception-ResNet v2 deep learning model in Keras. | 180 |
 objectprofile/kerasbridge | A Smalltalk-based wrapper around the Keras deep learning framework | 6 |
 kraiskil/onnx2c | Generates C code from ONNX files for efficient neural network inference on microcontrollers | 223 |
 imlab-uiip/keras-segnet | An implementation of a deep learning architecture for image segmentation using the Keras framework. | 184 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |