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: 10 months 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 |