npm

@informalsystems/quint

Core tool for the Quint specification language

• temporal
• logic
• formal
• specification
• verification

shonfeder

published 0.8.0 • 2 days agopublished 0.8.0 2 days ago

labyrinth-nsg

Network security analysis tools

• network
• security
• flow
• graph
• analysis
• analyzer
• router
• firewall
• formal
• verification
• azure
• nsg

hopcroft

published 0.0.9 • 2 years agopublished 0.0.9 2 years ago

@codeparticle/formal

A <2kb library for validating data of any kind

• validation
• formal
• form
• prop-types
• codeparticle

codeparticle

published 2.0.1 • a year agopublished 2.0.1 a year ago

fluent-json-validator

An easy-to-use, expressive, and composable JSON object validator, with a fluent builder pattern interface!

• json
• data
• structure
• object
• validator
• validate
• formal
• functional
• expressive
• fluent
• composable
• eloquent
• builder

semmu

published 0.3.2 • 2 years agopublished 0.3.2 2 years ago

react-redux-formal

Form state management and building library for react and redux

• react
• redux
• form
• forms
• formal

chielkunkels

published 0.5.0 • 6 years agopublished 0.5.0 6 years ago

llang

An interpreter of well-formed formulas in propositional calculus.

• propositional
• calculus
• interpreter
• formal
• logic
• language

nevyk

published 0.0.1 • 8 years agopublished 0.0.1 8 years ago

@jirimracek/conjugate-esp

Spanish verb conjugator, castellano, voseo, canarias, formal

• spanish
• verb
• conjugation
• voseo
• castellano
• canarias
• formal
• nodejs
• JavaScript
• TypeScript

jirimracek

published 2.3.6 • 2 years agopublished 2.3.6 2 years ago

estree-formal

ESTree formal data generator.

• estree
• ast
• spec
• formal
• data
• generator

rreverser

published 2.0.0 • 10 months agopublished 2.0.0 10 months ago

fin-slang

Transforms common internet slangs into a more formal words.

• Transforms
• common
• internet
• slangs
• into
• a
• more
• formal
• words.

alexcorvi

published 1.0.2 • 6 years agopublished 1.0.2 6 years ago

tree-sitter-fpl

Formal Proving Language

• mathematics
• fpl
• formal
• language

bookofproofs

published 1.0.2 • 2 years agopublished 1.0.2 2 years ago

lira-js

Contains the Lira compiler and some ergonomic tools. Can currently only be executed in a node environment.

• lira
• compiler
• formal
• verification
• defi
• decentralized
• contracts
• secure
• future
• options
• trading

peteremiljensen

published 0.4.3 • 3 years agopublished 0.4.3 3 years ago

pg-slang

Convert informal SQL SELECT to formal SQL.

• pg
• slang
• sql
• select
• informal
• formal
• table
• column
• row

wolfram77

published 0.2.6 • 5 years agopublished 0.2.6 5 years ago

relata

Primitives for an applied ontology

• Ontology
• formal
• analysis
• OntoClean
• DOLCE
• relata

evanrs

published 0.0.0 • 7 years agopublished 0.0.0 7 years ago