npm

inductive.js

Inductive programming for JavaScript

• type
• types
• ast
• abstract-syntax-tree
• abstract
• syntax
• tree
• induction
• inductive
• inductive-programming
• inductive-functional-programming
• test
• testing
• unit
• View more

omphalos

published 0.2.1 • 6 years agopublished 0.2.1 6 years ago

siafun

A collection of structure induction algorithms

• structure
• induction

florianthalmann

published 0.3.13 • 2 years agopublished 0.3.13 2 years ago