The above library has been renamed, and users in search of this should go to [Surreal]( https://www.npmjs.com/package/surreal) which replaces it.
The Formality proof language
Formality language, temporary package for the next version
Formality Language in JavaScript
Formality language loader for webpack
Form validation tool for @rescript/react
Formality language, temporary package for the next version
React form field binding and handling
Compiles Formality terms to a Nasic graph
DB mixin used in Cards against formality
Formality language loader for webpack
Kubernetes health check mixin used in Cards against formality
Cache clean mixin used in Cards against formality
My own Formality-Core
Translation for AI agents — translate, detect language, batch; with Japanese keigo/formality registers. OpenRouter-backed MCP server.
Formality-Lang is a set of syntax sugars that transpile to [Formality-Core](https://github.com/moonad/formality-core). It extends that minimal core with user-friendly notations such as string literals and datatype declarations.
React implementation of the Formality form framework. Build powerful, dynamic forms with conditional logic, field dependencies, and auto-save support.
A simple and composable react form library
Framework-agnostic form utilities for the Formality framework. This package provides pure functions for expression evaluation, condition processing, validation, and configuration management that can be used with any JavaScript framework.
Dynamic form generation system for productivity with Angular and Bootstrap 5
Type helper for vocoder.config.ts
A simple and composable react form library
Validated immutable assistant traits for Agent Assistant SDK
Communication style detection and adaptation for AI agents. Formality, verbosity, emotion sensing — the organ that speaks like a human.
An efficient programming language featuring formal proofs.
Formal symbolic AI implementation with OpenAI-compatible APIs
AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.
the open-source formal methods toolchain
the open-source formal methods toolchain - command-line interface
the open-source formal methods toolchain - input/output and parsing utilities
the open-source formal methods toolchain - SMT abstraction layer
the open-source formal methods toolchain - SMT abstraction layer - proc macros
the open-source formal methods toolchain - basic support functionality
the open-source formal methods toolchain - basic support functionality - proc macros
A minimal, verifiable ONNX runtime implementation in Rust
DeepL client library with all the things (blocking)
ActiveModel-compliant form objects for rails app. Forms have data and behavior. Let them be the objects they want to be. Plus, get presentation- specific validation logic out of your models.
This gem provides the assets for the formalize form styling, for easy usage with the Rails 3.1 asset pipeline.
Logman, formalized logging micro-abstraction
RLSM contains the three classes DFA, Monoid and REgExp for work with regular languages.
Errors for Formalism via R18n.
Compass and Sass port of Nathan Smith's Formalize HTML form normalizer.
A voting library providing methods for a user to vote for, against, or abstain on a model
Standard Formalism forms for Sequel Models, such like create, find, delete, etc.
A tool for automatic extraction and verification of Rails formal models. Just include it in your Gemfile, write a few invariants, setup Spass and `rake verify`!
Pagination for Flame application with Formalism forms.
See: http://research.homeunix.org.uk
Sequel transactions inside Formalism forms.
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.