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: 7 months ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
tubular/sparkly | A set of Python libraries and tools to simplify interactions with various data sources using Apache Spark. | 61 |
flint-bot/sparky | Provides a NodeJS API to interact with the Cisco Spark platform | 16 |
dmmiller612/sparktorch | A PyTorch implementation on Apache Spark for distributed deep learning model training and inference. | 339 |
sciotaio/micropython-sparkplugb | An implementation of the Eclipse Sparkplug B Specification for MicroPython | 10 |
svenkreiss/pysparkling | A lightweight Python implementation of Spark's RDD and DStream interfaces for improved performance on small datasets | 262 |
mdrakiburrahman/spark-connect-csharp | A C# implementation of the Apache Spark Connect protocol | 1 |
brbester/pyciscospark | Provides an interface to the Cisco Spark REST API | 30 |
sorenmacbeth/flambo | A Clojure-based interface to Apache Spark, enabling efficient data processing and manipulation in cluster computing environments. | 606 |
lensacom/sparkit-learn | A Python library that integrates PySpark and scikit-learn for distributed machine learning | 1,154 |
darrenparkinson/sparkdotnet | An unofficial C# library for interacting with Cisco Spark APIs | 12 |
tdeckers/sparkcli | A command-line interface to Cisco Spark | 14 |
andriyko/aiociscospark | Provides an asynchronous Python client for interacting with the Cisco Spark API | 7 |
asynchrony-ringo/spark-botkit-salesforce | Bridges Salesforce and Spark using bot technology | 0 |
janeliascicomp/nextflow-spark | Provides a reusable set of Nextflow subworkflows and processes for creating transient Apache Spark clusters on any infrastructure. | 14 |
rod-chapman/sparknacl | Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization. | 115 |