alinush/ck external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

alinush/ck

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/alinush/ck)

Close

alinush / ckView on GitHubMore

• External links
• Readme badge

A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox

☆14Feb 14, 2026Updated 2 weeks ago

Alternatives and similar repositories for ck

Users that are interested in ck are comparing it to the libraries listed below

• cryptobern / thetacrypt

  View on GitHub
  Design and implementation of a threshold-cryptography library
  ☆20Jan 24, 2025Updated last year
• obliviousram / PathOHeap

  View on GitHub
  Path Oblivious Heap C++ Reference Implementation
  ☆22Dec 28, 2019Updated 6 years ago
• zhenfeizhang / falcon.rs

  View on GitHub
  Falcon signature and its ZKP extensions
  ☆23Jul 5, 2022Updated 3 years ago
• integridb / Code

  View on GitHub
  ☆21Oct 10, 2015Updated 10 years ago
• Chia-Network / vdf-competition

  View on GitHub
  ☆26Jan 18, 2023Updated 3 years ago
• alinush / libpolycrypto

  View on GitHub
  (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…
  ☆34Feb 7, 2024Updated 2 years ago
• OtterClam / otter-frontend

  View on GitHub
  ☆11Jul 29, 2022Updated 3 years ago
• raaz-crypto / verse-coq

  View on GitHub
  VERified asSembler for cryptographic primitives
  ☆12Jul 15, 2023Updated 2 years ago
• jacky00dd / Quantum-Computaion-NTU-2020

  View on GitHub
  ☆14Jan 6, 2024Updated 2 years ago
• geometryxyz / proof-toolbox

  View on GitHub
  Cryptographic protocols
  ☆38Apr 19, 2023Updated 2 years ago
• Hexens / remedy-invitational-challenge

  View on GitHub
  ☆10Nov 13, 2023Updated 2 years ago
• jashug / FormalizedCompilerAlgorithms

  View on GitHub
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Dec 22, 2018Updated 7 years ago
• michaelsproul / dblib-linear

  View on GitHub
  Formalisation of the linear lambda calculus in Coq
  ☆10Dec 2, 2018Updated 7 years ago
• tobias-rothmann / Polynomial-Commitment-Schemes

  View on GitHub
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Jan 24, 2026Updated last month
• tchajed / coq-ltac2-experiments

  View on GitHub
  All the code I've ever written in Ltac2
  ☆11Jan 19, 2021Updated 5 years ago
• vijay03 / jsys

  View on GitHub
  Repo for the Journal of Systems Research (JSYS)
  ☆11Jan 7, 2020Updated 6 years ago
• atticusg / MultiplyQuantifiedData

  View on GitHub
  ☆10Nov 1, 2019Updated 6 years ago
• geometers / o1js-blobstream

  View on GitHub
  ☆12Oct 1, 2024Updated last year
• ElmiraEbrahimi / Veriblock-FL

  View on GitHub
  Blockchain-based Federated Learning Utilizing Zero-Knowledge Proofs for Verifiable Training and Aggregation
  ☆14Dec 26, 2024Updated last year
• therealyingtong / plonkathon

  View on GitHub
  ☆11Jan 28, 2023Updated 3 years ago
• Barry-Jay / SF

  View on GitHub
  Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus
  ☆11Mar 31, 2017Updated 8 years ago
• udoprog / fixed-vec-deque

  View on GitHub
  A fixed-size, zero-allocation circular buffer for Rust
  ☆16Mar 29, 2025Updated 11 months ago
• tse-group / ebb-and-flow

  View on GitHub
  ☆11Oct 7, 2022Updated 3 years ago
• XY-Finance / xy-protocol

  View on GitHub
  ☆10Aug 18, 2023Updated 2 years ago
• validsdp / validsdp

  View on GitHub
  A Coq tactic for proving multivariate inequalities using SDP solvers
  ☆12Feb 3, 2026Updated 3 weeks ago
• mit-plv / reification-by-parametricity

  View on GitHub
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Jan 12, 2021Updated 5 years ago
• CoqHott / Program-translations-CC-omega

  View on GitHub
  ☆14Nov 23, 2016Updated 9 years ago
• bos / suffixtree

  View on GitHub
  An efficient, lazy suffix tree implementation
  ☆13Dec 10, 2020Updated 5 years ago
• Poseidon-ZKP / zkShuffle

  View on GitHub
  ☆12Jul 17, 2023Updated 2 years ago
• LeastAuthority / tahoe-lafs

  View on GitHub
  The Tahoe-LAFS decentralized secure filesystem.
  ☆16Aug 27, 2025Updated 6 months ago
• Hazelsuko07 / InstaHide_Challenge

  View on GitHub
  A challenge to investigate the security of the InstaHide protocol.
  ☆12Dec 7, 2020Updated 5 years ago
• evanthebouncy / 20Q-selfplay

  View on GitHub
  LLM play 20questions with itself
  ☆12Mar 31, 2023Updated 2 years ago
• zcash / sapling-security-analysis

  View on GitHub
  ☆15May 3, 2019Updated 6 years ago
• coinrust / erpc-rs

  View on GitHub
  eRPC library for Rust
  ☆14Jan 16, 2020Updated 6 years ago
• aashishkolluri / Ethracer

  View on GitHub
  ☆13May 27, 2019Updated 6 years ago
• chasenorman / Formalized-Voting

  View on GitHub
  ☆13Jul 24, 2021Updated 4 years ago
• sigma-rs / sigma-proofs

  View on GitHub
  ☆25Updated this week
• gstew5 / snarkl

  View on GitHub
  ☆59Apr 17, 2022Updated 3 years ago
• kernoelpanic / blockchainbib

  View on GitHub
  Blockchain Bibliography
  ☆49Jul 25, 2023Updated 2 years ago