tinfoilsh / verifierLinks
Tinfoil client-side enclave and runtime verifier
☆13Updated this week
Alternatives and similar repositories for verifier
Users that are interested in verifier are comparing it to the libraries listed below
Sorting:
- Blueprint by Mozilla.ai for answering questions about structured documents☆35Updated 4 months ago
- A dead man's switch for full but responsible disclosure of vulnerabilities☆55Updated 9 months ago
- Write code your way while ensuring remote consistency.☆16Updated last week
- ☆11Updated 3 months ago
- A Python framework for building AI agent systems with robust task management in the form of a graph execution engine, inference capabilit…☆29Updated last month
- A modular, RedisTimeSeries-native observability agent. Designed for developers, tinkerers, and infrastructure teams who want full contro…☆24Updated last month
- Guards and protection agnostic to your model or provider☆38Updated 8 months ago
- A GitHub actions bot for blazing fast, AI-powered Pull Request reviews ⚡️☆11Updated last year
- Simple inbound/outbound packet sniffer☆31Updated 9 months ago
- Oblivious HTTP implementation☆31Updated last year
- Privacy Pass implementation in Rust☆39Updated 2 weeks ago
- Multi-model transactional embedded database☆68Updated 7 months ago
- Robot communication and coordination network.☆67Updated 2 months ago
- Compression suite for data frames and tabular data files, csv, excel etc. Using LZHW algorithm.☆30Updated 11 months ago
- Implementation of the Findex searchable encryption scheme☆13Updated this week
- Lightweight TCP in UDP tunnel 🚇 using eBPF 🐝☆34Updated last week
- LocalScore is an open benchmark which helps you understand how well your computer can handle local AI tasks.☆48Updated 3 weeks ago
- Core Aranya tech including policy compiler, parser, interface generator, VM, DAG☆17Updated this week
- Vector Embedding Server in under 100 lines of code☆22Updated last year
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Updated 4 months ago
- LLTZ: Compiler from MLIR to Michelson☆14Updated 6 months ago
- Neurox control helm chart details☆31Updated 2 months ago
- Rust crates for XetHub☆45Updated 9 months ago
- A Python library for real-time PostgreSQL event-driven cache invalidation.☆22Updated 3 months ago
- A TLA+ AutoRepair System For Formal Specification with GPT-4☆14Updated last year
- LLM-Powered Analyses of your GitHub Community using EvaDB☆24Updated last year
- A Oblivious HTTP ("OHTTP") Relay built on Cloudflare Workers.☆26Updated 9 months ago
- Public talks and lectures hosted by institutes and universities in London on topics including law, art sustainability, philosophy, histor…☆24Updated 3 months ago
- Ambrogio is a dev agent who tackles tech debt. Starting with automatic unit tests and docstring.☆15Updated 3 months ago
- Order-revealing encryption library used by the CipherStash searchable encryption platform.☆24Updated last year