GitHub - demtech/crypto-agda

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 356 Commits
Cipher/ElGamal		Cipher/ElGamal
Data/Tree		Data/Tree
Game		Game
Search		Search
alea		alea
drafts		drafts
.gitignore		.gitignore
Add-Max-Solver.agda		Add-Max-Solver.agda
Prob.agda		Prob.agda
README		README
README.agda		README.agda
Rand.agda		Rand.agda
agda-fun-universe.agda		agda-fun-universe.agda
ann.agda		ann.agda
bijection-fin.agda		bijection-fin.agda
bijection.agda		bijection.agda
bintree-proba.agda		bintree-proba.agda
bintree.agda		bintree.agda
bit-guessing-game.agda		bit-guessing-game.agda
bits-fun-universe.agda		bits-fun-universe.agda
bytecode.agda		bytecode.agda
circuit-fun-universe.agda		circuit-fun-universe.agda
circuit.agda		circuit.agda
composable.agda		composable.agda
composition-sem-sec-reduction.agda		composition-sem-sec-reduction.agda
const-fun-universe.agda		const-fun-universe.agda
cont.agda		cont.agda
cost-fun-universe.agda		cost-fun-universe.agda
crypto-examples		crypto-examples
data-universe.agda		data-universe.agda
dice.agda		dice.agda
elgamal.agda		elgamal.agda
exn-arrow.agda		exn-arrow.agda
fin-fun-universe.agda		fin-fun-universe.agda
flat-funs-prod.agda		flat-funs-prod.agda
flipbased-counting.agda		flipbased-counting.agda
flipbased-implem.agda		flipbased-implem.agda
flipbased-no-split.agda		flipbased-no-split.agda
flipbased-product-implem.agda		flipbased-product-implem.agda
flipbased-running.agda		flipbased-running.agda
flipbased-tree-probas.agda		flipbased-tree-probas.agda
flipbased-tree.agda		flipbased-tree.agda
flipbased.agda		flipbased.agda
forkable.agda		forkable.agda
fun-state.agda		fun-state.agda
fun-universe.agda		fun-universe.agda
game.agda		game.agda
generic-zero-knowledge-interactive.agda		generic-zero-knowledge-interactive.agda
guessing-game.agda		guessing-game.agda
hash.agda		hash.agda
inverse-fun-universe.agda		inverse-fun-universe.agda
isos-examples.agda		isos-examples.agda
linear-solver.agda		linear-solver.agda
markov.agda		markov.agda
md5.agda		md5.agda
one-time-semantic-security.agda		one-time-semantic-security.agda
pisearch.agda		pisearch.agda
prefect-bintree-rot.agda		prefect-bintree-rot.agda
prefect-bintree-sorting.agda		prefect-bintree-sorting.agda
prefect-bintree.agda		prefect-bintree.agda
prg.agda		prg.agda
program-distance.agda		program-distance.agda
schnorr.agda		schnorr.agda
single-bit-one-time-pad.agda		single-bit-one-time-pad.agda
sum-properties-setoid.agda		sum-properties-setoid.agda
sum-properties.agda		sum-properties.agda
sum-setoid.agda		sum-setoid.agda
sum.agda		sum.agda
symbols.txt		symbols.txt
syntax-fun-universe.agda		syntax-fun-universe.agda
vcomp.agda		vcomp.agda