Releases

The `praxis` command-line tool: run, check and debug Praxis programs.

Language Server Protocol implementation for Praxis.

The bridge between a static Praxis type and its runtime type descriptor.

Praxis mid-level IR: CFG, liveness, fault edges, and GC safepoint analysis.

GC ABI types, type descriptors, and runtime context for Praxis.

A fast, lightweight, secure Git LFS server

Name resolution and high-level intermediate representation for Praxis.

Device-side library for writing ET-SoC-1 compute kernels in pure no_std Rust

Command line companion for the LFSX Git LFS server: diagnose a deployment and reclaim space

Typed syntax wrappers over Praxis syntax nodes.

The Praxis `read` DSL: template parsing, type synthesis, and parser plans.

Inkhaven — TUI literary work editor for Typst books

Type interning, inference, and capability resolution for Praxis.

Lexer and parser for the Praxis language.

Token and syntax-node definitions for the Praxis language.

Cross-platform winget manifest validator

Method catalog schema and the Praxis prelude.

Host-side Rust interface to the Esperanto ET-SoC-1 RISC-V accelerator

Source files, spans, line maps, and diagnostics for the Praxis compiler.

A schema-driven document engine: turn Markdown into a fully typeset document with a Quill

Visualize a Postgres ltree hierarchy as a Mermaid diagram or interactive HTML tree

Placeholder package for tix.im

Command-line interface for Quillmark, a schema-driven document engine

Motion-vector integration for Aqua's animated wave surfaces.

Typst backend for Quillmark

Shared host/device ABI types (kernel launch arguments) for et-rs / ET-SoC-1

Aqua wave producers: Gerstner component bands and JONSWAP/FFT AnimWaves compute.

Typst-free PDF-form backend for Quillmark: fills existing PDF forms via the quillmark-pdf stamping spine

Typst-free AcroForm stamping spine for Quillmark: (base_pdf, &[FieldSpec]) -> stamped PDF + regions

Core types and functionality for the Quillmark schema-driven document engine