Results for micro_install

A tool for managing micro-applications with Docker and Nginx

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.

A blazing fast, zero-configuration PHP version manager

Tiny self-hosted CI with minimal requirements

3D parallelism for RUMUS: Tensor Parallelism, Pipeline Parallelism, async collectives

Handy, reusable utilities for working with direct world access in a Bevy exclusive system

A Micro Transport Protocol (or uTP) implementation

Load data from LDTK, index it and make it accessible through Bevy assets, extract and use autotile rules

gRPC interface for microscopic traffic simulation via cellular automata

A lightweight, zero-allocation implementation of the Xoodyak cryptographic scheme, optimized for 32-bit microcontrollers (ARM Cortex-M, RISC-V).

A command-line (CLI) tool to convert a Parquet file to an Apache Arrow file

The Rust embedded project management.