babySNARK
SPARK protocol
An educational implementation of a minimalistic SPARK protocol for efficient verification of boolean circuits
Baby SNARK (do do dodo dodo)
230 stars
6 watching
22 forks
Language: Python
last commit: over 1 year ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| | A set of Python libraries and tools to simplify interactions with various data sources using Apache Spark. | 61 |
| | Provides a NodeJS API to interact with the Cisco Spark platform | 16 |
| | A PyTorch implementation on Apache Spark for distributed deep learning model training and inference. | 339 |
| | An implementation of the Eclipse Sparkplug B Specification for MicroPython | 10 |
| | A lightweight Python implementation of Spark's RDD and DStream interfaces for improved performance on small datasets | 262 |
| | A C# implementation of the Apache Spark Connect protocol | 1 |
| | Provides an interface to the Cisco Spark REST API | 30 |
| | A Clojure-based interface to Apache Spark, enabling efficient data processing and manipulation in cluster computing environments. | 606 |
| | A Python library that integrates PySpark and scikit-learn for distributed machine learning | 1,154 |
| | An unofficial C# library for interacting with Cisco Spark APIs | 12 |
| | A command-line interface to Cisco Spark | 14 |
| | Provides an asynchronous Python client for interacting with the Cisco Spark API | 7 |
| | Bridges Salesforce and Spark using bot technology | 0 |
| | Provides a reusable set of Nextflow subworkflows and processes for creating transient Apache Spark clusters on any infrastructure. | 14 |
| | Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization. | 115 |