volhovm

orgstat

Statistics visualizer for org-mode

study-notes

ITMO/CTD notes, y2013 🇺🇦

groth-sahai-python

Python reference implementation of Groth-Sahai proofs

ocd-tasks

Solutions for the "An Introduction to Mathematical Cryptography" textbook by Hoffstein, Pipher, Silverman

coding-theory-itmo-2017

Coding theory course at ITMO university -- homeworks/solutions

rsa-zkps-impl

ZK protocols for knowledge and range of Paillier-like ciphertexts in subverted RSA groups

veb-tree

Van Emde Boas tree implementation

compiler-workout

Supplementary repository for compiler course

dumb-jump

an Emacs "jump to definition" package

FStar

Verification system for effectful programs

hacl-star

HACL*, a formally verified cryptographic library written in F*

halo2

halo2curves

halo2ecc-s

A re-implemented ECC circuits with halo2.

halo2wrong

info-theory-itmo-2016

Solutions for information theory homeworks course (ITMO 2016)

mdbook-linkcheck

A backend for `mdbook` which will check your links for you.

nix-everest

Nix expressions for Project Everest projects

nixpkgs

Nix Packages collection

org-ql

An Org-mode query language, including search commands and saved views

org-super-links

Package to create links with auto backlinks

orgip

orgmode-parse

Attoparsec parser combinators for parsing org-mode structured text!

plonk-playground

sage-playground

solidity-groth-sahai

thesis-bs-itmo

ublu-impl

Implementation of Updatable Blueprints paper and CH20 NIZK

vfs-appointment-bot

A script to check the VFS appointment slots and notify by SMS and call

volhovm.github.io