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 keyboard-driven TUI lens into Apache NiFi 2.x. Browse flows, trace flowfiles, tail bulletins, and debug across clusters and versions.
Distributed tracing with OpenTelemetry for Revoke framework
Source adapters (PubMed, arXiv, OpenAlex, INSPIRE, EPO, PatentsView, Lens) and the paper download chain for scitadel.
Command-line interface for scitadel — programmable scientific literature retrieval.
Core domain models, services, and ports for the scitadel scientific-literature retrieval toolkit.
SQLite-backed repositories and migrations for scitadel.
BibTeX, JSON, and CSV exporters for scitadel search results.
MCP server exposing scitadel tools to host LLMs.
Claude-powered paper relevance scoring for scitadel.
Interactive TUI for browsing scitadel searches, papers, and assessments.
An LLM integration framework for Rust
This library helps to find where in your rails app sql query was run.
RailsQueryTracer hooks into ActiveRecord, finds N+1 queries, slow queries, and provides actionable insights with optional dashboard.
Dumps SQL queries with their positions in the source code
Gemified query_trace plugin
With query_trace enabled, the Rails logs will contain a partial stack trace for every executed SQL statement, making it easier to find where they are generated in your code.
With query_trace enabled, the Rails logs will contain a partial stack trace for every executed SQL statement, making it easier to find where they are generated in your code.