Propositional Logic
nv-dict-proposition ===================== - nv-dict-proposition
nv-array-proposition ===================== - nv-array-proposition
A REPL tool and library for generating truth tables from a logical proposition (see examples).
A collection of Array prototypes prollyfills as proposition for ECMAScript 7.
SeanPropApp proposition methodology as an MCP server. Run methodology modules from Claude Desktop, Cursor, or Claude Code using your own subscription.
The output element provides an example of a built-in element that "outputs" its value. It's a bit of a strange feature, given that it displays the exact value passed in, but the "value-add" proposition the output element provides may be bit esoteric (a11
Checks a given proposition to see whether it is a well formed formula
Ludwig outille la proposition de corrections d'une application web par des utilisateurs et des experts métier.
Modify Orientation Position Size
Framework-agnostic commerce adapters for Thor Commerce ecosystem - Multi-platform support with unified API
A simple and flexible Vite plugin to inject and watch import maps with support for JSON files. Supports inline definitions and external configuration.
nv-facutil-simple-promise =============== - simple version of nv-facutil-promise / nv-facutil-proposition-promise / nv-facutil-cycle-promise
Shared TypeScript types for Thor Commerce ecosystem - Framework-agnostic type definitions
Reusable documentation builder for markdown-based sites with Vercel deployment support
Multi-tenant memory system MCP server with vector search and relationships
A Loggly transport for winston
Enterprise-grade MCP server for Claude Code CLI with 6,200+ spike templates, 86 library specs, intelligent memory engine, and continuous learning capabilities.
Universal debug & deploy expert for multi-project instances. Enforces 21 iron principles with project absolute isolation (ZERO-TH LAW). Enterprise-grade AI team with 11 specialized roles, anti-hallucination system, and multi-platform compatibility. Full b
The logic engine for computational recipes - validation, scaling, parsing, and Schema.org conversion
Phase 2.x — MCP (Model Context Protocol) server scaffolding for the catalog plane. Wraps the catalog plane's APIs as agent-callable tools so AI assistants (Claude, ChatGPT plugins, custom agents) connect with tenant-scoped credentials and call tools rathe
Aave Governance v2 smart contracts
Hybrid Semantic-Structural Context Engine. Optimizes codebase context retrieval for AI coding agents using PageRank and structural parsing.
Production-grade Google Maps & Places API scraper for n8n. Specifically designed for AI Agents, B2B lead generation, and mass email scraping with built-in rate limit handling.
A crate dedicated to proposition building logic, providing mathematical lexers and language properties for defining logical languages
Proves sentences of propositional calculus
Database contract interface — Props, traits, and typestate for SQL domain boundaries
generate truth tables for compound propositions
Propositional logic statements with evaluation functionalities implemented
Geospatial contract interface — Props, traits, and types for GIS domain boundaries
Propositional logic with exponentials
Propositional logic with types in Rust
Propositional Logic
Recognize a logic proposition and trace its truth value, also generate a truth table (still in development)
Propositional tableau solver for propositional formulas
Library for representing logical formulas with support for temporal robustness semantics
Write propositional logic formulae using Ruby DSL.
Parse formulae of the Propositional Calculus.
Create, manipulate, and verify propositional logic sentences
Ruby implementation of a propositional logic parser
A gem for building categorial propositions and syllogisms
I think therefore I am. Satre is a library for proportional and first order logic. It was inspired by the book 'Handbook of practical logic and automated reasoning' by Harrison, J (2009). This project originated at the Technical university munich as a students project in the lecture 'Basics of Artificial Intelligence'.
Use to generate HTML pages containing 'propositional writing' from the source code.
Gem become a proposit to specific plans cam be retained or deleted based on the defined rules
Vicopo est un moyen léger et rapide rechercher une ville française et implémenter des propositions à la volée, l'autocomplétion d'un champ de ville ou de code postal et la conversion de l'un vers l'autre.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.