Accessible form builder and SDK. See https://www.GetFormally.com
String interpolation, formally know as `Ember.String.fmt`.
Node.js API wrapper to BTCC (formally BTC China) bitcoin exchange
A tiny DI container (formally microdi-js)
A form builder/planner for react. Formally known as react-form-planner
This repository contains the core JavaScript implementation of the Design Abstraction Language Engine (DALE). The engine is formally specified in the Design Abstraction Language (DAL), and this library provides the executable runtime that realizes that sp
FormAlly form editor for ReactJS, creates .json definitions for rendering with form-render.
A js library to formally validate values
p6portal api, formally named b2portal, used by custom forms and services
Node.js API wrapper to BTCC (formally BTC China) bitcoin exchange
Formally tmix-icon-rails
Leafet heatmap that provides binning of values using formally defined grid cells
FormAlly form render from JSON definition created by form-edit for ReactJS.
Formally verified business logic verification — coming soon
EiCE is a Linked Data tool for automatically generating multiple stories between two concepts in the Web of Data, based on formally described links.
Official TypeScript SDK for AAAA Nexus — formally verified AI safety infrastructure
Node.js API wrapper to BTCC (formally BTC China) bitcoin exchange
A React component library for quickly creating accessibility-enabled forms.
Formally verified business logic verification — coming soon
Proven - Formally verified safety library for JavaScript
Simplified Form handler for React
JSON for Humans
Format Nano (formally RaiBlocks) raw amounts to be more human-readable
Bundle of Joy (BoJ) MCP Server — cartridge-based DevOps + multi-agent coordination toolkit with 100 domain cartridges (database, container, git, k8s, observability, secrets, IaC, multi-instance AI coord, and more). Formally verified (Idris2) core; MPL-2.0
the open-source formal methods 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 - 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)
Language-independent formality system used by a-mir-formality
Form object helpers built on top of dry-validations
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.