babySNARK

SPARK protocol

An educational implementation of a minimalistic SPARK protocol for efficient verification of boolean circuits

Baby SNARK (do do dodo dodo)

GitHub

230 stars
6 watching
22 forks
Language: Python
last commit: 7 months ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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