Cryptographic toolkit for searchable encryption.
☆28Jan 25, 2021Updated 5 years ago
Alternatives and similar repositories for crypto-tk
Users that are interested in crypto-tk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository Open Source the experimental code of paper "ROSE: Robust Searchable Encryption with Forward and Backward Security"☆11Feb 9, 2023Updated 3 years ago
- YAP is a high-performance Prolog compiler☆12Mar 11, 2011Updated 15 years ago
- Algorand's reference implementation of bls signature scheme☆14Sep 7, 2020Updated 5 years ago
- 这是CP-ABE算法C库的JNI实现，能够满足JAVA环境下的加密开发需要。☆10Aug 14, 2015Updated 10 years ago
- Automatically exported from code.google.com/p/xml2rfc-xxe☆12Jul 9, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Continued fractions library.☆15May 23, 2015Updated 11 years ago
- RFC version of TLS 1.3 -- for collaboration with RFC publication center☆11Jul 5, 2022Updated 3 years ago
- Ruby gem used to load, validate, and parse European Data Format files. Used for batch testing EDFs for errors.☆14Mar 1, 2019Updated 7 years ago
- A toolkit for randomized testing of WGSL compilers☆22Updated this week
- Benchmarking different C hashes☆19Nov 18, 2014Updated 11 years ago
- ☆14May 30, 2026Updated last month
- ☆22May 18, 2019Updated 7 years ago
- 对称可搜索加密，Cash的实现方案☆19Jun 10, 2018Updated 8 years ago
- a sample SSE and NEON universal interface.☆18Jun 3, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆23May 21, 2024Updated 2 years ago
- Formal specification of attestation mechanisms in Confidential Computing☆24Nov 22, 2025Updated 7 months ago
- 基于可搜索加密的云存储方案☆26May 8, 2019Updated 7 years ago
- PPH in C☆24Nov 21, 2025Updated 7 months ago
- ☆23Apr 10, 2026Updated 2 months ago
- A CLI for managing AI skill packages☆27Jan 18, 2026Updated 5 months ago
- ☆13Jan 19, 2024Updated 2 years ago
- The AI-First Software Development (AIFSD) Manifesto☆29Feb 17, 2026Updated 4 months ago
- ☆11Nov 18, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- It is a public-key encryption in which the public key of a user is identity(unique).☆14May 25, 2015Updated 11 years ago
- A Promise-like primitive which is lazy, cancelable, has typed errors, and emits synchronously☆51Jun 13, 2026Updated 2 weeks ago
- Investigation into replacing the MES compiler☆35Jun 15, 2026Updated 2 weeks ago
- GitHub Pages for Kernel Self Protection Project☆26May 14, 2026Updated last month
- High-Performance Proxy Server with Automatic IPv6 Rotation☆39Feb 18, 2026Updated 4 months ago
- Csound CSD Preprocessor☆21Apr 27, 2015Updated 11 years ago
- Formal Analysis of the PQXDH Protocol☆32Jun 6, 2024Updated 2 years ago
- ☆14May 17, 2025Updated last year
- uses an LLM to generate descriptions and regular expressions for data selections☆15Jun 13, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Sample implementation of NSEC5 cryptography☆24Aug 27, 2018Updated 7 years ago
- Class to implement RFC7871 (Client Subnet in DNS Queries) for dnspython.☆31Oct 25, 2018Updated 7 years ago
- PTM (Programmable Tile Machine) is a "pseudo-8-bit fantasy computer" that you can program using a built-in programming language called PT…☆16Dec 31, 2025Updated 6 months ago
- [Obsolete] Tamarin prover manual: source files☆25Updated this week
- Opening the world of search.☆12Jun 13, 2025Updated last year
- A minimalist open-source multi-engine web browser built in Ruby with Glimmer DSL for SWT☆12Aug 12, 2021Updated 4 years ago
- High performance Java crypto binding to the native OpenSSL library☆32Jun 9, 2024Updated 2 years ago