Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
☆178Oct 9, 2026Updated this week
Alternatives and similar repositories for hazmat
Users that are interested in hazmat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Snakes game demo.☆15Feb 14, 2017Updated 9 years ago
- Lint your file tree based on file sizes☆16Oct 1, 2026Updated last week
- A Python library that solves context window degradation in long-running LLM agents by moving memory management out of the model layer and…☆20Updated this week
- Declarative rule engine for readable & maintainable business rules☆17Sep 2, 2026Updated last month
- Monadic parsers library☆16Apr 24, 2026Updated 5 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Data types for compositional, type-directed serialization☆13Jan 27, 2023Updated 3 years ago
- Go Based Lightweight RAG / LLM Tool with CLI + API☆14Sep 28, 2023Updated 3 years ago
- The honest macOS tune-up — diagnoses what's actually slow, fixes only what's safe & reversible, scores your Mac 0-100. One bash script, z…☆20Jun 13, 2026Updated 3 months ago
- Talk on generic parallel scan☆14May 12, 2017Updated 9 years ago
- ☆17Jun 24, 2021Updated 5 years ago
- Container-free, deny-by-default sandbox for AI coding agents. Kernel-enforced filesystem, network, and syscall isolation for Linux and ma…☆309Aug 13, 2026Updated last month
- A tool to audit Hex dependencies, to make sure your ✨ gleam projects really sparkle!☆26Jun 21, 2026Updated 3 months ago
- Go tool for bumping version numbers☆17Dec 15, 2022Updated 3 years ago
- A collection of open source tlog tooling.☆30Oct 1, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Open-source options gamma exposure (GEX) & positioning dashboard — dealer GEX, max pain, open interest, IV surface. Self-hosted, Docker, …☆81Sep 19, 2026Updated 3 weeks ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 9 years ago
- Lightweight, cross-platform process sandboxing powered by OpenAI Codex's runtime. Sandbox any command with file, network, and credential …☆719May 17, 2026Updated 4 months ago
- A customizable Claude Code setup for knowledge workers: agents, safety hooks, skills, memory, and an Obsidian knowledge base. Clone, run …☆33Sep 25, 2026Updated 2 weeks ago
- Haskell bindings for Dear Imgui☆11Dec 19, 2019Updated 6 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 9 years ago
- 🛡️ Programmable Guardrails for LLM Applications in Java. A framework-agnostic toolkit for input/output validation, PII masking, and jail…☆16Apr 15, 2026Updated 5 months ago
- moved to https://github.com/imjasonh/playground/tree/main/pasta☆15Aug 13, 2026Updated last month
- Production grade Kubernetes controller for managing AWS Services using CRDs☆16Apr 8, 2020Updated 6 years ago
- 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.
- The opinionated high performance professional-grade AI package for Go☆32Updated this week
- ☆14Jun 14, 2016Updated 10 years ago
- Elevator is a utility that allows other programs to collect traces through Windows Performance Recorder.☆30Oct 20, 2017Updated 8 years ago
- Encouraging people to buy albums alongside their streaming, to better support artists.☆12Updated this week
- Dead simple terminal music player written in go☆47May 2, 2024Updated 2 years ago
- Manage multiple AWS SSO organizations with separate config files☆24Mar 20, 2026Updated 6 months ago
- Delay a systemd service's startup until network interfaces are online☆18Updated this week
- Browser extension to better integrate Rapid☆13May 17, 2026Updated 4 months ago
- a through stream that destroys itself if an overall size limit for the combined stream throughput is exceeded. useful for e.g. limiting H…☆11Oct 12, 2017Updated 8 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.
- Local-first policy gateway for coding agents. Allow, review, or block MCP, shell, SQL, GitHub, and HTTP actions with scoped credentials a…☆35Updated this week
- A CLI tool to help manage the flow of developing on gitlab.☆17May 3, 2026Updated 5 months ago
- Coq with native compilation, as well as machine integers and arrays !☆63Jul 12, 2018Updated 8 years ago
- A formal moral framework coded in Haskell☆50Mar 2, 2015Updated 11 years ago
- Post-quantum trusted time-stamping server☆17Sep 13, 2026Updated 3 weeks ago
- Web Server Vulnerability Scanning Tool☆37Mar 11, 2025Updated last year
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆18Apr 3, 2024Updated 2 years ago