Simple, flexible node.js form module with casting and validation; inspired by mongoose
This package defines the foundational TypeScript types of the Wallet Standard, and so provides a practical specification of the Wallet Standard until a formal specification may be completed.
Self-host the Petit Formal Script font in a neatly bundled NPM package.
Check easy-to-read Keishikimeishi(formal nouns) written in Hiragana than Kanji.
Formal verification tools for MUSUBIX - Z3 integration, precondition/postcondition verification, and EARS-to-SMT conversion
Petit Formal Script typeface
The less formal CSS framework.
Check easy-to-read Keishikimeishi(formal nouns) written in Hiragana than Kanji.
a react-widgets adapter for react-formal
Typed Methodology SDK -- makes the formal theory (F1-FTH) executable in TypeScript.
Pi package for AutoContext-assisted Erdős-style formal math problem loops with Lean verification.
Use the Petit Formal Script font family from Google Fonts in your Expo app
Petit Formal Script latin typeface
Petit Formal Script latin-ext typeface
Reusable stuff created in Most Formal projects.
Spanish verb conjugator, castellano, voseo, canarias, formal
Convert informal SQL SELECT to formal SQL.
react-formal-bootstrap ===
Classy HTML form management for React
A formal methods toolkit for model-based development of human-machine interfaces
Formal Dehyde Sensor Device for bodhi node red
Translation extension for Pi — toggle mode with three variants: Formal, Natural, Informal
ESTree formal data generator.
WebAssembly bindings for the Mondher formal-concept-analysis engine
The Formal Programming Language Toolchain
Formal symbolic AI implementation with OpenAI-compatible APIs
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.
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)
Helpful form builder used by Rocketeers
FormalWear helps you create Form Objects with required and optional attributes and gets all fancy widdit.
A voting library providing methods for a user to vote for, against, or abstain on a model
Forms when you need 'em
Your locales about polite form of address will inherit translations from their base locale and locales stored in a tenant directory can override base + formal translations
This gem provides the assets for the formalize form styling, for easy usage with the Rails 3.1 asset pipeline.
Errors for Formalism via R18n.
Standard Formalism forms for Sequel Models, such like create, find, delete, etc.
Sequel transactions inside Formalism forms.
Logman, formalized logging micro-abstraction
RLSM contains the three classes DFA, Monoid and REgExp for work with regular languages.
Compass and Sass port of Nathan Smith's Formalize HTML form normalizer.
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.
No description provided.
No description provided.