Tinfoil client-side enclave and runtime verifier
☆23Feb 25, 2026Updated last week
Alternatives and similar repositories for verifier
Users that are interested in verifier are comparing it to the libraries listed below
Sorting:
- A Command-Line Tool for Efficient Remote Android Device Management. Utilizes DeviceFarmer's API and ADB for streamlined execution of comm…☆25Jan 22, 2025Updated last year
- Spamming All forone Powerfull Termux Tools☆31Dec 13, 2025Updated 2 months ago
- Delightful wordle-like games☆21Jul 26, 2023Updated 2 years ago
- Serverless Optimized MODules - A Serverless Framework to create reusable micro apps☆18Jul 7, 2025Updated 7 months ago
- ☆11Dec 16, 2024Updated last year
- ☆32Feb 26, 2026Updated last week
- ☆14Oct 3, 2023Updated 2 years ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- ☆16Feb 7, 2025Updated last year
- Updated version of pywallet - a Bitcoin wallet importer/exporter☆17Jul 10, 2025Updated 7 months ago
- ☆11Nov 18, 2020Updated 5 years ago
- Grab some/all of CodeQL CLI binary, QL library, VSCode starter workspace, VSCode and VSCode QL extension☆11Jun 12, 2025Updated 8 months ago
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 6 months ago
- Yet another credential store 🔐☆16May 8, 2025Updated 9 months ago
- Tools for checking NIK☆17May 16, 2024Updated last year
- PPH in C☆24Nov 21, 2025Updated 3 months ago
- CONFSEC's ComputeNode component of the OpenPCC standard☆17Dec 15, 2025Updated 2 months ago
- ☆17Updated this week
- ☆20Updated this week
- Landing page for Global Privacy Control (GPC)☆12Feb 1, 2026Updated last month
- Empowering journalists and whistleblowers☆20Oct 16, 2021Updated 4 years ago
- ☆11Feb 14, 2025Updated last year
- ☆11Nov 10, 2025Updated 3 months ago
- Warp+Psiphon, an anti censorship utility for iran☆10Jul 17, 2024Updated last year
- An interactive, story-based Web Monetization tutorial for online creators.☆11Mar 1, 2025Updated last year
- Minor Project BTech CSE Final Year☆14Dec 14, 2023Updated 2 years ago
- Gain information about applications to inform deployments☆11Mar 3, 2022Updated 4 years ago
- Fast, Minimal and generic Fuzzy Search Index☆13Jun 18, 2025Updated 8 months ago
- DeepSecure-AI is an open-source deepfake detection tool leveraging advanced AI models like EfficientNetV2 and MTCNN for high-accuracy ana…☆13Jul 12, 2025Updated 7 months ago
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 5 months ago
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- Sealed boxes implementation for Rust/WebAssembly.☆17May 9, 2024Updated last year
- Library supporting secure keys, and crypto enabled JSON and CBOR☆15Feb 19, 2026Updated 2 weeks ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- StarlingX website☆12Dec 3, 2025Updated 3 months ago
- ☆16Feb 13, 2026Updated 2 weeks ago
- Exposes batch message receives (recvmmsg)☆14Aug 15, 2025Updated 6 months ago