Search results

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 • 8 years agopublished 0.2.1 8 years ago

siafun

A collection of structure induction algorithms

• structure
• induction

florianthalmann

published 0.3.13 • 4 years agopublished 0.3.13 4 years ago