-
Formal
- https://joinformal.com
- @ahmb84
Stars
Portable, lightweight, self-contained virtual machine.
Live AI judge agent — watches hackathon demos in real-time via Gemini Live API, delivers British-accented commentary via TTS, scores with multi-model ensemble (Gemini + Claude + Groq), detects prom…
Observability for AI agents. See what your agent did, why it cost that much, and what to fix.
LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar
fait accompli — sorta strace-like tracer... a front end for dtrace for macos
An open-source database of AI models.
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
Sandbox any AI agent in seconds - zero setup, zero latency.
Guardrails for secure and robust agent development
Security scanner for AI agents, MCP servers and agent skills.
Two conversational AI agents switching from English to sound-level protocol after confirming they are both AI agents
aider is AI pair programming in your terminal
Autonomous coding agent as an SDK, IDE extension, or CLI assistant.
One Postgres for your application data, full-text search, vector retrieval, and aggregations. Home of the pg_search extension.
Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.
A modular graph-based Retrieval-Augmented Generation (RAG) system
End-to-end realtime stack for connecting humans and AI
Roo Code gives you a whole dev team of AI agents in your code editor.
Concrete ML: Privacy Preserving ML framework using Fully Homomorphic Encryption (FHE), built on top of Concrete, with bindings to traditional ML frameworks.
Fast Binary Encoding is ultra fast and universal serialization solution for C++, C#, Go, Java, JavaScript, Kotlin, Python, Ruby, Swift
Open Source Data Security Platform for Developers to Monitor and Detect PII, Anonymize Production Data and Sync it across environments.
Mega list of 1 on 1 meeting questions compiled from a variety to sources