Distributed object-capability authorization with ZK proofs
☆38Oct 2, 2026Updated 3 weeks ago
Alternatives and similar repositories for dregg
Users that are interested in dregg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆19Sep 26, 2026Updated last month
- A shared, persistent world for people and AIs — the networking, persistence, and multi-participant layer over the eidoverse-video toolkit…☆47Updated this week
- A high-performance verifiable storage layer for appchains and L2s.☆13Jan 5, 2026Updated 9 months ago
- End-to-end formally verified solvers for the isothermal Euler and full compressible Euler equations in 1D, 2D, and 3D.☆14Aug 10, 2026Updated 2 months ago
- An LLM-first language for PLAN.☆11Jun 27, 2026Updated 4 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Urbit app for documentation☆11Sep 2, 2026Updated last month
- QMD (Quick Markdown Search) extension for pi coding agent - on-device knowledge base search with BM25, vector search, and LLM reranking☆23Oct 8, 2026Updated 3 weeks ago
- A VSCode extension that displays documentation for Hoon runes and standard library functions☆13Nov 19, 2021Updated 4 years ago
- ☆12Oct 18, 2022Updated 4 years ago
- host PTY via %lick☆12Nov 23, 2024Updated last year
- MCP Server for interacting with Gmail via IMAP and SMTP☆11Apr 10, 2025Updated last year
- Open Source Ruby on Rails Web Application for Managing a Mutual Credit LETS (Local Exchange Trading System) Community☆17Jun 29, 2014Updated 12 years ago
- A CosmWasm contract verifying zero knowledge proof☆12Nov 16, 2023Updated 2 years ago
- [WIP] Lightning in Urbit.☆12Jul 2, 2024Updated 2 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.
- a categorical deep learning compiler☆36Jun 10, 2026Updated 4 months ago
- A Model Context Protocol (MCP) server that enables Claude and other AI assistants to send SMS messages using Twilio.☆15Feb 24, 2025Updated last year
- this skeleton commits and installs☆12Mar 19, 2023Updated 3 years ago
- A GPU-accelerated cellular automata library using Vulkan☆11Sep 11, 2019Updated 7 years ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆24Jul 27, 2026Updated 3 months ago
- Collection of publicly available cognitive task datasets☆16Apr 17, 2024Updated 2 years ago
- A gameboy emulator for LLM's☆38Apr 28, 2025Updated last year
- Agent-centric co-creation tool and general purpose browser of the AD4M cyber-sphere☆22Jul 30, 2024Updated 2 years ago
- ☆19Sep 16, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- BLS signatures over the AltBn128 curve for Solana☆14Jan 14, 2026Updated 9 months ago
- Produce a fractal from the Julia set on Urbit in Hoon.☆16Feb 23, 2020Updated 6 years ago
- Martian twitter☆14Mar 3, 2023Updated 3 years ago
- ☆15Jun 16, 2021Updated 5 years ago
- Weiroll planner for ethers-rs☆16Apr 19, 2023Updated 3 years ago
- >:3☆12Oct 12, 2025Updated last year
- DolphinBench - Mapping the Pareto frontier of Agent Memory☆48Sep 23, 2026Updated last month
- A local prompt-difficulty classifier that automatically sets Pi reasoning effort.☆12Jul 3, 2026Updated 3 months ago
- Truthful scheduler-step and streaming visualization for local LLM inference☆35Sep 6, 2026Updated last month
- 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.
- Urbit Bridge for the command line☆23Apr 26, 2024Updated 2 years ago
- An Android app that wraps up remote MCP server routing to allow AI control of intimate hardware.☆17Sep 27, 2026Updated last month
- Step-by-step guide to cross-flash the AMD Radeon Pro V620 to a Radeon Pro W6800 for display output, home-lab compatibility, and fan contr…☆16Sep 16, 2026Updated last month
- Codebase for the paper "Inverting the Bellman Equation: From Q-Values to World Models"☆41Aug 2, 2026Updated 2 months ago
- This is a source dump for our failed startup [Credport](http://www.credport.org).☆14Jun 6, 2014Updated 12 years ago
- ProCurrency Official Source Code☆13May 9, 2019Updated 7 years ago
- Simple C++ off screen raster graphics library☆21Apr 23, 2026Updated 6 months ago