-
-
-
org-window-habit Public
Forked from colonelpanic8/org-window-habitEmacs Lisp GNU General Public License v3.0 UpdatedDec 9, 2025 -
proof-systems Public
Forked from o1-labs/proof-systemsThe proof systems used by Mina
Rust Apache License 2.0 UpdatedAug 27, 2025 -
agario Public
Forked from Viliami/agarioPython clone of agar.io game, made with pygame.
Python GNU General Public License v2.0 UpdatedJun 26, 2025 -
ublu-impl Public
Implementation of Updatable Blueprints paper and CH20 NIZK
-
mdbook-linkcheck Public
Forked from Michael-F-Bryan/mdbook-linkcheckA backend for `mdbook` which will check your links for you.
-
orgstat Public
Statistics visualizer for org-mode
-
org-super-links Public
Forked from toshism/org-super-linksPackage to create links with auto backlinks
Emacs Lisp GNU General Public License v3.0 UpdatedJan 29, 2024 -
-
-
-
rsa-zkps-impl Public
ZK protocols for knowledge and range of Paillier-like ciphertexts in subverted RSA groups
-
halo2ecc-s Public
Forked from DelphinusLab/halo2ecc-sA re-implemented ECC circuits with halo2.
Rust MIT License UpdatedMar 30, 2023 -
-
vfs-appointment-bot Public
Forked from ranjan-mohanty/vfs-appointment-botA script to check the VFS appointment slots and notify by SMS and call
Python MIT License UpdatedMar 6, 2023 -
groth-sahai-python Public
Python reference implementation of Groth-Sahai proofs
-
ocd-tasks Public
Solutions for the "An Introduction to Mathematical Cryptography" textbook by Hoffstein, Pipher, Silverman
-
-
org-ql Public
Forked from alphapapa/org-qlAn Org-mode query language, including search commands and saved views
Emacs Lisp GNU General Public License v3.0 UpdatedJan 1, 2021 -
-
orgmode-parse Public
Forked from ixmatus/orgmode-parseAttoparsec parser combinators for parsing org-mode structured text!
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 4, 2019 -
-
nix-everest Public
Forked from blipp/nix-everestNix expressions for Project Everest projects
Nix UpdatedJul 31, 2019 -
hacl-star Public
Forked from hacl-star/hacl-starHACL*, a formally verified cryptographic library written in F*
Assembly Apache License 2.0 UpdatedJun 4, 2019 -
FStar Public
Forked from FStarLang/FStarVerification system for effectful programs
F* Apache License 2.0 UpdatedApr 8, 2019 -
-
-
coding-theory-itmo-2017 Public
Coding theory course at ITMO university -- homeworks/solutions
-
compiler-workout Public
Forked from ivan-magda/compiler-workoutSupplementary repository for compiler course
{{ message }}