Set of tools helping developers to build TEE-enabled application quicker.
☆17Aug 22, 2025Updated last year
Alternatives and similar repositories for aapp-toolkit
Users that are interested in aapp-toolkit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jul 30, 2026Updated last month
- ☆18Mar 9, 2025Updated last year
- Experimental gnark prover compatible with tinygo☆15Aug 28, 2026Updated 3 weeks ago
- Universal memory layer for AI applications. Self-host in minutes. Open source.☆15Jul 17, 2026Updated 2 months ago
- Painless and simple development environments using Vagrant☆11Jun 9, 2015Updated 11 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.
- Automated market-maker making orders filled through the BancorFormula☆15Nov 30, 2021Updated 4 years ago
- Local-first, zero-trust agentic IDE for verifiable autonomous software development.☆867Sep 11, 2026Updated last week
- DevOps toolkit to operate Polkadot testnets☆18Aug 3, 2026Updated last month
- Repository with examples for Expo & Re.Pack☆11Feb 1, 2024Updated 2 years ago
- ☆11Mar 17, 2023Updated 3 years ago
- Actor based, horizontally scalable Blockchain using Akka.net.☆21Sep 27, 2025Updated 11 months ago
- A Model Context Protocol server providing LLM Agents a second opinion via AI-powered Deepseek-Reasoning R1 mentorship capabilities, inclu…☆31Jul 22, 2025Updated last year
- A Serverless function for updating Algolia indexes☆12Feb 8, 2018Updated 8 years ago
- Karpathy-style LLM Wiki Desktop App: hydrate raw docs into dense Markdown entries; retrieve by keyword + link traversal. No embeddings, n…☆23Aug 26, 2026Updated 3 weeks 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.
- TEAM FOCUS concepts by Paul N. Friga in McKinsey Engagement.☆23Apr 14, 2025Updated last year
- Business OS event tracking platform. Open source alternative to Posthog, Google Analytics, etc. Process billions of events a day.☆21Mar 25, 2026Updated 5 months ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- The NEKO Project is an open source effort to build a model of equivalent scale and capability as that reported in DeepMind’s 2022 Paper, …☆10Sep 2, 2023Updated 3 years ago
- An Infr app that helps you replay & talk to everything you've ever seen.☆15Sep 19, 2023Updated 3 years ago
- Elliptic curve search experiments☆36Mar 6, 2023Updated 3 years ago
- Polkadot Ansible Collection☆27Jul 24, 2026Updated last month
- Cookiecutter template for making a cog for Red.☆12Jun 18, 2024Updated 2 years ago
- Extract streaming data from text using prefix completion.☆10Oct 6, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An implementation of ZKBoo☆33May 10, 2022Updated 4 years ago
- A high-throughput and memory-efficient inference and serving engine for LLMs☆12Nov 27, 2023Updated 2 years ago
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- Nova-based SHA256 benchmarks☆31Jun 7, 2025Updated last year
- record your keypress counts into a database to track computer usage☆11Dec 25, 2025Updated 8 months ago
- Discord Docsbot, Built on bgent☆11Jun 17, 2024Updated 2 years ago
- ☆11Sep 25, 2024Updated last year
- Sireum: A High Assurance System Engineering Platform☆31Updated this week
- A Go implementation of cryptographic primitives for Verkle Trees☆37Jul 24, 2024Updated 2 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.
- Convert a regular GPT call into a ChatGPT call☆14Mar 2, 2023Updated 3 years ago
- DSPY Experiments☆15May 2, 2024Updated 2 years ago
- a suite of finetuned LLMs for atomically precise function calling 🧪☆16Sep 7, 2026Updated last week
- Condensing codebases to a single file for usage in long context LLMs (Gemini 1.5 Pro, GPT-4-Turbo, Claude Opus)☆13Apr 1, 2024Updated 2 years ago
- AutoGPT maintainer/reviewer system☆16May 26, 2023Updated 3 years ago
- Monorepo with SvelteKit, pnpm, TypeScript, Express, Prisma, Postgres etc to supercharge your next project 🚀☆14Jun 4, 2024Updated 2 years ago
- ☆36Mar 17, 2026Updated 6 months ago