Modern forms, your way. Modular. Lightweight. Responsive. Stuff that matters.
Computational framework for exploring unified physics through tensor formalism
An abstract formalism to extend from
JavaScript Modeling and Simulation. Currently supports a portion of the System Dynamics (SD) formalism.
A pt-net formalism metamodel
`lr-parser-typescript` is a parsing library that offers a user-friendly formalism for specifying grammars, and a simple API for parsing strings, written in TypeScript.
Parser generator for JavaScript
## Development
A lightweight alternative to NPM packages for organizing source files within a single project
A BitTeX parser implemented in JavaScript (ES6). Transforming a BibTeX file to an object in memory or a semi-structured file on disk.
[Renew][1] is a multi-formalism editor and simulator that provides a flexible modeling approach. With renew-js we want to improve the user interaction with the editor. To archive a multi-formalism editor and simulator we base the formalisms on metam
Crispi Css Utilities is a style micro framework that can be used in both SCSS and CSS. It provides classes respecting a naming formalism that can be easily deduced. You can customize the entire library to adapt it to your needs and your designs.
Statecharts for Ember.js applications
A metamodel for base elements
Blue Button XML Parsing Infrastructure
Template based JSON to JSON transformer
Blue Button XML =================
Aegis — Secure Software Design Documents framework for Claude Code
Blue Button XML Parsing Infrastructure
Template based JSON to JSON transformer
Parser generator for JavaScript and PHP
Blue Button XML Parsing Infrastructure
Blue Button XML Parsing Infrastructure
<p align="center"> <br /> <img src="https://s3.amazonaws.com/media-p.slid.es/uploads/174419/images/7647776/xactor-logo.svg" alt="XState" width="100"/> <br /> <sub><strong>The Actor Model for JavaScript</strong></sub> <br /> <br /> </p>
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)
Language-independent formality system used by a-mir-formality
Simple actions and complex forms with validations, nesting, etc.
Standard Formalism forms for Sequel Models, such like create, find, delete, etc.
Errors for Formalism via R18n.
Sequel transactions inside Formalism forms.
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.
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
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