A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
☆14Apr 20, 2026Updated last week
Alternatives and similar repositories for ck
Users that are interested in ck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Design and implementation of a threshold-cryptography library☆24Jan 24, 2025Updated last year
- ☆22Oct 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 3 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- (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☆22Jul 5, 2022Updated 3 years ago
- ☆26Apr 13, 2026Updated 2 weeks 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 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An example showing how to read Merkle Patricia Trie for Ethereum block or contract☆19Apr 11, 2018Updated 8 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 8 months ago
- A modified fork of http://www.codeproject.com/Articles/24681/WPF-Diagram-Designer-Part-4☆47Aug 30, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A fixed-size, zero-allocation circular buffer for Rust☆16Mar 29, 2025Updated last year
- A challenge to investigate the security of the InstaHide protocol.☆12Dec 7, 2020Updated 5 years ago
- ☆10Nov 13, 2023Updated 2 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
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆14Nov 19, 2018Updated 7 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 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 9 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 years ago