A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
☆14Feb 14, 2026Updated last month
Alternatives and similar repositories for ck
Users that are interested in ck are comparing it to the libraries listed below
Sorting:
- Design and implementation of a threshold-cryptography library☆24Jan 24, 2025Updated last year
- ☆21Oct 10, 2015Updated 10 years ago
- ☆13May 27, 2019Updated 6 years ago
- A library for building Web clients for keybase, either in the browser or for testing in node.☆15Apr 16, 2023Updated 2 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 2 years ago
- (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
- A forward-secure append-only persistent authenticated data structure☆16Jul 5, 2016Updated 9 years ago
- Path Oblivious Heap C++ Reference Implementation☆22Dec 28, 2019Updated 6 years ago
- Falcon signature and its ZKP extensions☆23Jul 5, 2022Updated 3 years ago
- ☆26Jan 18, 2023Updated 3 years ago
- Pastes clipboard image to a file☆14May 23, 2011Updated 14 years ago
- Blockchain Bibliography☆49Jul 25, 2023Updated 2 years ago
- Weighted Threshold Signature Benchmark☆15Sep 15, 2023Updated 2 years ago
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago
- An example showing how to read Merkle Patricia Trie for Ethereum block or contract☆19Apr 11, 2018Updated 7 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Go logging library used at Mailgun.☆20Mar 11, 2016Updated 10 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- ☆17Sep 30, 2016Updated 9 years ago
- The Tahoe-LAFS decentralized secure filesystem.☆16Aug 27, 2025Updated 6 months ago
- A modified fork of http://www.codeproject.com/Articles/24681/WPF-Diagram-Designer-Part-4☆47Aug 30, 2020Updated 5 years ago
- A fixed-size, zero-allocation circular buffer for Rust☆16Mar 29, 2025Updated 11 months ago
- A challenge to investigate the security of the InstaHide protocol.☆12Dec 7, 2020Updated 5 years ago
- ☆10Nov 13, 2023Updated 2 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆14Nov 19, 2018Updated 7 years ago
- edu: CryptoManiac is a simple command line utility that encrypts a file using AES-256 (CTR/CBC, 256-bit keys, 128-bit IVs) and is compati…☆19Jun 20, 2014Updated 11 years ago
- Python script to search for and purchase first available Amazon Whole Foods delivery slot☆20Jun 2, 2021Updated 4 years ago
- ☆14May 3, 2019Updated 6 years ago
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- experimental quantized net implementation in chainer☆11Oct 1, 2016Updated 9 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated 2 years ago
- An index of some of the open source efforts at Khan Academy☆16Jun 2, 2023Updated 2 years ago
- Python based command line Gist management. Easy access to read and create Gists / snippets.☆15Jul 20, 2020Updated 5 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 years ago