tinfoilsh/verifier 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

tinfoilsh/verifier

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/tinfoilsh/verifier)

Close

tinfoilsh / verifierView on GitHubMore

• External links
• Readme badge

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

• Zetier / lariat

  View on GitHub
  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
• Bayu12345677 / DisturbMe-v2

  View on GitHub
  Spamming All forone Powerfull Termux Tools
  ☆31Dec 13, 2025Updated 2 months ago
• prakhar897 / awesome-wordle

  View on GitHub
  Delightful wordle-like games
  ☆21Jul 26, 2023Updated 2 years ago
• somod-dev / somod

  View on GitHub
  Serverless Optimized MODules - A Serverless Framework to create reusable micro apps
  ☆18Jul 7, 2025Updated 7 months ago
• vaniog / QueueHere

  View on GitHub
  ☆11Dec 16, 2024Updated last year
• Azure / az-cgpu-onboarding

  View on GitHub
  ☆32Feb 26, 2026Updated last week
• PratikshaChuryaA / RoomFinderApplication

  View on GitHub
  ☆14Oct 3, 2023Updated 2 years ago
• jkirkby3 / BsplineDensity

  View on GitHub
  B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.
  ☆16Aug 22, 2021Updated 4 years ago
• Stanford-Blockchain-Club / treehouse-sdk

  View on GitHub
  Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
  ☆13Feb 14, 2025Updated last year
• datametica / DataIngestionFramework

  View on GitHub
  ☆16Feb 7, 2025Updated last year
• Great-Software-Company / pywallet

  View on GitHub
  Updated version of pywallet - a Bitcoin wallet importer/exporter
  ☆17Jul 10, 2025Updated 7 months ago
• fancybits / custom-channels-examples

  View on GitHub
  ☆11Nov 18, 2020Updated 5 years ago
• advanced-security / grab_ql

  View on GitHub
  Grab some/all of CodeQL CLI binary, QL library, VSCode starter workspace, VSCode and VSCode QL extension
  ☆11Jun 12, 2025Updated 8 months ago
• Fluidize-Inc / fluidize-python

  View on GitHub
  A Python library for building modular, reproducible simulation pipelines in minutes
  ☆32Aug 22, 2025Updated 6 months ago
• raiyanyahya / yacs

  View on GitHub
  Yet another credential store 🔐
  ☆16May 8, 2025Updated 9 months ago
• Mr-Pstar7 / NIK-checker

  View on GitHub
  Tools for checking NIK
  ☆17May 16, 2024Updated last year
• kadcom / pphc

  View on GitHub
  PPH in C
  ☆24Nov 21, 2025Updated 3 months ago
• confidentsecurity / confidentcompute

  View on GitHub
  CONFSEC's ComputeNode component of the OpenPCC standard
  ☆17Dec 15, 2025Updated 2 months ago
• ensigniasec / run-mcp

  View on GitHub
  ☆17Updated this week
• atopile / cell-sim

  View on GitHub
  ☆20Updated this week
• globalprivacycontrol / landing-page

  View on GitHub
  Landing page for Global Privacy Control (GPC)
  ☆12Feb 1, 2026Updated last month
• SamratDuttaOfficial / onymochat

  View on GitHub
  Empowering journalists and whistleblowers
  ☆20Oct 16, 2021Updated 4 years ago
• martinwimpff / eeg-continual

  View on GitHub
  ☆11Feb 14, 2025Updated last year
• testifysec / witness-run-action

  View on GitHub
  ☆11Nov 10, 2025Updated 3 months ago
• hiddify / warp-plus

  View on GitHub
  Warp+Psiphon, an anti censorship utility for iran
  ☆10Jul 17, 2024Updated last year
• esse-dev / a-web-monetization-story

  View on GitHub
  An interactive, story-based Web Monetization tutorial for online creators.
  ☆11Mar 1, 2025Updated last year
• subhankardas2000 / PROJ-CS782

  View on GitHub
  Minor Project BTech CSE Final Year
  ☆14Dec 14, 2023Updated 2 years ago
• superfly / recco

  View on GitHub
  Gain information about applications to inform deployments
  ☆11Mar 3, 2022Updated 4 years ago
• eagledot / malhar

  View on GitHub
  Fast, Minimal and generic Fuzzy Search Index
  ☆13Jun 18, 2025Updated 8 months ago
• Divith123 / DeepSecure-AI

  View on GitHub
  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
• IBM / graph2tac

  View on GitHub
  Graph-based neural tactic prediction models for Coq.
  ☆15Sep 17, 2025Updated 5 months ago
• PrithwishJana / CoTran

  View on GitHub
  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
• jedisct1 / rust-sealed_box

  View on GitHub
  Sealed boxes implementation for Rust/WebAssembly.
  ☆17May 9, 2024Updated last year
• cyberphone / openkeystore

  View on GitHub
  Library supporting secure keys, and crypto enabled JSON and CBOR
  ☆15Feb 19, 2026Updated 2 weeks ago
• bwesterb / atumd

  View on GitHub
  Post-quantum trusted time-stamping server
  ☆17Dec 11, 2024Updated last year
• lindermanlab / hackathons

  View on GitHub
  Jupyter notebooks from our weekly (or so) hackathons
  ☆11Dec 3, 2024Updated last year
• StarlingXWeb / starlingx-website

  View on GitHub
  StarlingX website
  ☆12Dec 3, 2025Updated 3 months ago
• GrapheneOS / platform_art

  View on GitHub
  ☆16Feb 13, 2026Updated 2 weeks ago
• anacrolix / mmsg

  View on GitHub
  Exposes batch message receives (recvmmsg)
  ☆14Aug 15, 2025Updated 6 months ago