nielstron/zokrada nielstron/zokrada

  • Stars
    star
    1
  • Language
    Python
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nielstron/zokrada
github

nielstron

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

ZK-SNARK Proof Verifiers on Cardano

More Repositories

1

quantulum3

Library for unit extraction - fork of quantulum for python3
Python
109
star
2

pyfronius

Automated JSON API based communication with Fronius Symo
Python
15
star
3

vimulator

A vim-emulator for jEdit 5
Java
14
star
4

ha_bayernluefter

Custom component for the Bayernluefter
Python
8
star
5

YOLOv3-Training-Snowman-Detector

Adapted YOLOv3 Network, trained to detect cats
Python
7
star
6

ha_blnet

BLNET custom component for Home Assistant
Python
7
star
7

pysyncthru

A very basic python SyncThru bridge
Python
6
star
8

pyblnet

Automate wireless communication to UVR1611 via BL-NET
Python
5
star
9

freiraumETHZ

Find free rooms in ETHZ Campuses
Python
5
star
10

fupv_altklausuren

Beispielbearbeitungen von Aufgaben aus dem Fach Funktionale Programmierung und Verifikation, inklusive Tests
OCaml
3
star
11

ubuntu.whatsapp-nativefier

WhatsApp / WhatsAppWeb as native App on ubuntu via Electron nativefier
JavaScript
3
star
12

wetter.com.py

Scrape German weather data from wetter.com
Python
3
star
13

pyboinc

A very basic package to connect to a BOINC client based on the BOINC GUI RPC Protocol
Python
3
star
14

ha_syncthru

Custom component for Samsung Syncthru printers that unleashes the power of Web-Scraping
Python
2
star
15

pyscc

Python Smart Contracts for Cardano
Python
2
star
16

diy_bayernluft

self-build sensors for the Bayernlüfter
C
2
star
17

ha-config

Tools and examples for a home assistant configuration
Python
2
star
18

fifled

tool to create bounding boxes and labels for moving objects in mostly static videos
C++
2
star
19

abstract_artist

A simulation of the creation of abstract arts
C++
1
star
20

weak_heap_sort

Implementation and Verification of Functional Weak Heap Sort
Isabelle
1
star
21

projective_geometry

Isabelle Formalisation of projective geometry with focus on the RP2
Isabelle
1
star
22

pyernluefter

Automated async web-based communication with the Bayernluefter
Python
1
star
23

berichtung

Erfahrungen und Berichte aus diversen Gelegenheiten
TeX
1
star
24

msos_searcher

A half-hearted attempt at finding a magic square of squares
Python
1
star
25

flowdetect

Detect "Objects" in Images based on Image flow.
C++
1
star
26

rep_grnvs

Ausgewählte Übungsaufgaben für ein 8-tägiges GRNVS Repetitorium
1
star
27

humidity_control

Reads a DHT 12 sensor via ESP8266 and controls a air refresher as well as publishing the data via MQTT
C++
1
star
28

skserialize

Safe, efficient sklearn model persistence
Python
1
star
29

java_finite_automata

Parses finite automata and creates a DFA based on a given NFA
Java
1
star
30

bplustrees

A Verified Imperative Implementation of B+-Trees in Isabelle
Isabelle
1
star
31

symplex

Symbolic computation of the simplex algorithm for educational purposes
Python
1
star