junkicide Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

anoma

Implementation of the Anoma protocol in Rust

cft

cl-veq

mostly practical and reasonably fast 2-4d vector and matrix operations with some broadcasting.

collaborative-zksnark

Prototype implementations of various Collaborative zkSNARKs.

cupcake

A Rust library for lattice-based additive homomorphic encryption.

din

Automatically exported from code.google.com/p/din

emacs-config

exercism

code challenges in rust from exercism

fractals

generating aesthetic fractal patterns

fusionrules

fusion rules for group theoretical fusion categories

geb

grouptheoretical

GAP codes for computing (pre)modular data from finite groups.

hacspec

A specification language for cryptography primitives.

halo2-examples

Include halo2 example circuits

halo2-scaffold

Basic scaffolding for setting up and writing a Halo2 ZK circuit

haskell-stuff

some elementary problem-solving in haskell

junkicide.github.io

lala-land

mobile game

lambdaworks

The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too

lisp-rs

maze

maze generation using random-walk

namada-testnets

Testnet configurations and coordination for the Namada network.

noir

Noir is a domain specific language for zero knowledge proofs

openzl

Zero-Knowledge Cryptography Infrastructure Stack

otti

A zkSNARK compiler for optimization problems

plonk

A pure Rust PLONK implementation using arkworks as a backend.

pong

basic 2d pong

proc-macro-workshop

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

quilc

The @rigetti optimizing Quil compiler.