Frontend component library for SolverForge constraint-optimization applications
Fast markdown documentation server with React SPA frontend, recursive folder support, and live reload
A high-performance modular, open-source CI/CD ochestrator and pipeline runner with parallel execution and smart caching.
Konveyor external provider for JS/TS/JSX/TSX and CSS/SCSS analysis
A crate for querying, matching and asserting DOM
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.
Integra8 rust integration test framework Rust with a focus on productivity, extensibility, and speed.
Simple abstraction layer for interacting with different async runtimes for the Integra8 test framework
A collection of fundamental test components used by the Integra8 test framework
A collection flat shorthand notation objects used by the Integra8 test framework for building test suite hierarchies.
Procedural macros for declaring test components used by the Integra8 test framework.
Test output formatters for displaying test results for the Integra8 test framework.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.