Results for go_secure

Microsoft SQL Server database driver for Prax ORM

Encrypted .env files that just work. Zero config, single binary, built-in team sharing.

A blazingly fast MCP server for code intelligence - enumerates repos, data structures, algorithms, and returns relevant code context

Security gate for AI-generated code - blocks the build until vulnerabilities are fixed

CLI tool for validating GitHub Actions workflows

Core validation engine for GitHub Actions workflows

The rust language implementation of gRPC, base on the gRPC c core library.

The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs

AI/Human task management system with file-based storage

A highly parallel Perl 5 interpreter written in Rust

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

Rust task runner and build tool.