-
logicpearl
Rust-first CLI for building, inspecting, and running LogicPearl artifacts
-
routa-entrix
Entrix fitness function engine — Rust implementation of tools/entrix
-
cognitum-gate-tilezero
Native arbiter for TileZero in the Anytime-Valid Coherence Gate
-
quantrs2
Comprehensive Rust quantum computing framework - unified entry point for quantum simulation, algorithm development, and hardware interaction
-
entrix
fitness function engine — Rust implementation of tools/entrix
-
events
Async manual-reset and auto-reset event primitives
-
naivesat
Few solvers that uses the Gate project
-
fsqlite-vfs
Virtual filesystem abstraction layer
-
turingmachine
MIDI-domain Turing Machine Mk2. Applies shift-register randomisation and looping to MIDI note, velocity, gate, and CC streams.
-
logicpearl-ir
Inspectable intermediate representation for LogicPearl artifacts
-
pai_openai_adapter
OpenAI-compatible API adapter for PAI-Kernel · pre-request gate evaluation + post-response witness chain entry · reference middleware
-
pai_mcp
MCP (Model Context Protocol) adapter for PAI-Kernel · exposes governance daemon API as MCP tools · reference integration
-
ai-playground
Run AI coding agents inside systemd containers
-
monarchic-agent-protocol
Shared protocol types for Monarchic AI
-
bito
Quality gate tooling for building-in-the-open artifacts
-
ruqu
Classical nervous system for quantum machines - real-time coherence assessment via dynamic min-cut
-
qip
efficient quantum computing simulations
-
libverify-policy
OPA Rego policy engine for libverify — maps control findings to gate decisions
-
convergio-orchestrator
Plans, tasks, waves, Thor gate, reaper — orchestration engine
-
gatecheck
CLI leaf crate for gatecheck
-
openapp-sdk
Official Rust SDK for OpenApp — Physical Security as a Service (PSaaS): API-first access control for doors, gates, intercom, invitations, and audit
-
yarli
CLI, stream mode renderer, interactive TUI, scheduler, store, and API
-
plato-lab-guard
Unfakeable constraint lab — Achievement Loss scoring for hypothesis validation
-
aivcs-ci
CI/CD pipeline execution and reporting for AIVCS
-
cjc-quantum
Deterministic quantum circuit simulator for CJC
-
logicpearl-discovery
Artifact discovery and rule recovery from labeled LogicPearl decision traces
-
graphrefly-core
GraphReFly handle-protocol core dispatcher
-
logicpearl-runtime
Deterministic runtime evaluator for LogicPearl artifacts
-
graphrefly-operators
Built-in operator node types for GraphReFly (map, filter, scan, switchMap, valve, gate, retry, …)
-
logicpearl-build
Shared LogicPearl build orchestration and provenance assembly
-
logicpearl-verify
Solver-backed verification helpers for LogicPearl discovery and conformance
-
infmachine
The Infinite Machine
-
scaler-rs
Rust port of EPICS scaler record
-
reifydb-build
Build utilities for ReifyDB target detection
-
forgewright
Standalone UI automation — CDP for browsers, UIA for Windows desktop apps
-
pai_gate
Pre-execution governance gate for PAI-Kernel · evaluates Tier 0-4 actions against governance mode and consent state per PAI-CD v2.2 §Governance
-
gatecheck-export-markdown
Markdown renderer for gatecheck reports
-
logicpearl-conformance
Conformance receipts, manifests, and runtime parity checks for LogicPearl
-
tokmd-gate
Policy evaluation engine for tokmd analysis receipts
-
xlsynth-g8r
XLS IR to gate mapping
-
infmachine_examples
Examples for the Infinite Machine
-
pedant-mcp
MCP server exposing pedant security and capability analysis
-
gate
A specialized 2D game library
-
rustc-ap-rustc_feature
Automatically published version of the package
rustc_featurein the rust-lang/rust repository from commit 9a27044f42ace9eb652781b53f598e25d4e7e918 The publishing script for this crate lives at: https://github… -
statsig
SDK for usage in multi-user server environments
-
ckg-embed
Local embeddings (nomic-embed-text-v1.5 via fastembed)
-
async-gate
A Tokio-powered asynchronous gate (analogous to a flag and highly inspired by Python’s
asyncio.Event, but can be waited for to become ‘false’ too) -
inshou
(印章) - Nix integrity gate and signing tool
-
gatecheck-types
Stable types and lightweight JSON handling for gatecheck
-
rustlogic
basic parsing and handling of logical formulas
-
bevy_logic
A logic gate simulation plugin for Bevy
-
cjc-mir-exec
MIR register-machine executor for CJC
-
tdln-gate
TDLN — Policy Gate (preflight/decision) with proof-carrying determinism
-
gatecheck-codes
Stable exit codes for gatecheck
-
gatecheck-policy
Policy parsing and semantic validation for gatecheck
-
diman_lib
Commonly used types for internal use in diman
-
gatecheck-eval
Pure gate evaluation for gatecheck
-
gatecheck-fs
Filesystem adapters for gatecheck
-
boolean-circuit
import, modify and export boolean circuits
-
infmachine_gen
The Infinite Machine generator library
-
qurs
Qulacs implementation in Rust
-
gatecheck-fixtures
Reusable test fixtures for gatecheck
-
gateio-rs
Comprehensive Rust SDK for Gate.io cryptocurrency exchange API with sync and async support
-
gate_build
Build utilities for Gate, a specialized 2D game library
-
infmachine_exec
The Infinite Machine Executor and Debugger
-
logicpearl-core
Core types, errors, and shared primitives for LogicPearl
-
lmn-core
Core engine for the lmn HTTP load testing CLI
-
gamelan-core
Pure kernel for composable agent systems
-
gain
Async/await-based framework for programs targetting Gate runtime (wasm32 targets)
-
mocktoffel
easy to use mocking library with minimal boilerplate
-
circuit_sat_check
generate circuit checking to CNF formula
-
gate_calc_log_bits
Helper for the Gate Project
-
const-ft
Macro for wrapping const fn in a feature gate
-
positron
parse and execute boolean expressions
-
token-acl-gate-client
Token ACL Gate program with generated client code
-
rustlogic-march1917
basic parsing and handling of logical formulas(forked from coastalwhite)
-
logical_gate
A logic gate crate
-
gain-lep
Support for exposing Gain APIs via Lep
-
qsocket
QSocket library
-
infmachine_config
The Infinite Machine configuration
-
oidc-rs
A generic OIDC client
-
gain-localhost
Client API for gate.computer/localhost service
-
inst_derive
Derive macro for tagged union enums implementing the Instantiable trait in safety-net
-
axiom-eth
main library for building ZK circuits that prove data about the Ethereum virtual machine (EVM)
-
rp2040_wait
more accurate wait times than Delay using rp2040_hal::timer::Timer
-
diman_derive_verify
Internal procedural macros for diman
-
gateid
Compact signed gate tokens with URL-safe encoding
-
icecave
AWS Nitro Enclaves to attest to the Internet Computer (IC) Gate canister and provide a vsock-backed ic-agent transport
-
gate-pkg
Package for interchain-gate
Try searching with DuckDuckGo.