A framework for defining and evaluating complex logical systems. (A cool bool rule tool.)
Query and handle native macOS biometric authentication changes.
React components for admonitions
A utility for extracting and parsing tags associated with ANS-115 Data-Protocols
React components for admonitions
React Native Stripe wrapper that makes using Stripe with React Native safe and easy in iOS/Android.
Query and handle native macOS biometric authentication.
Simplifies usage of the Arculus Staff Service
A minimalist Slidev theme inspired by the Auriga LaTeX Beamer theme, featuring academic components such as theorem blocks, BibTeX citations, footnotes, and paginated references
The shareable ESLint configuration used at Distributive when contributing to the Distributive Compute Protocol (DCP).
Bayesian probability transforms for BM25 retrieval scores
Smart, trustworthy, open, portable, safe and secure. Build amazing things and join the sustainable lightweight design revolution.
A very lightweight set of UI components.
SuppleJS is a toy project to re-implement SolidJS from scratch
A project that contains 3 libraries: (a) j2m: JSON to markup transformer, (b) j2j: JSON to JSON transformer and query tool, as well as (c) j2f: bound function invocation dispatcher when traversal occurs on object graph
React Native wrapper for native iOS Stripe SDK
React Native wrapper for native iOS Stripe SDK
Node powered, cross-platform, drop-in replacement for Chutzpah.exe
The shareable ESLint configuration used at Distributive when contributing to the Distributive Compute Protocol (DCP).
A minimal metadata bridge between RDF resources and JSON records.
Data generator, primarily for use in testing Trystal applications
React Native Bongloy wrapper that makes using Bongloy with React Native safe and easy in iOS/Android.
React Native Stripe wrapper that makes using Stripe with React Native safe and easy in iOS/Android.
Take home test
Cross-compiles Haskell into Rust.
Fast byte-pair encoding implementation.
Corollary support library for Haskell runtime emulation.
2-adic double-precision floating-point implementation
DSFB Structural Semiotics Calculus — typed residual sign framework, grammar FSM, endoductive operator, and provenance engine. Rust type-level realization of the DSSC formal calculus (Invariant Forge LLC, April 2026).
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.
Information Flow in the IDE for Rust
Hierarchical state machines (statecharts) with a declarative proc macro.
Procedural macro implementation for the hsmc crate.
Latex to html converter
A (eventually) complete representation of the MIDI 1.0 Detailed Specification and its many extensions and addenda, allowing for the serialization and deserialization of MIDI byte streams to and from a typed representation.
Nix code formatter for nixpkgs