npmjs.org "inductive-programming" keyword
View the packages on the npmjs.org package registry that are tagged with the "inductive-programming" keyword.
inductive.js 0.2.1
Inductive programming for JavaScript4 versions - Latest release: almost 9 years ago - 2 dependent packages - 1 dependent repositories - 40 downloads last month - 25 stars on GitHub - 1 maintainer
Related Keywords
type
1
types
1
ast
1
abstract-syntax-tree
1
abstract
1
syntax
1
tree
1
induction
1
inductive
1
inductive-functional-programming
1
test
1
testing
1
unit
1
mock
1
solver
1
solve
1
mocks
1
mocking
1
tests
1
programming
1
spec
1
specification
1
tdd
1
test-driven
1
test-driven-development
1
bdd
1
behavior-driven-development
1
behavior-driven
1
behavior
1
ui-testing
1
ui
1
io
1
functional
1
functional-programming
1
fp
1
immutable
1
immutability
1
curry-howard-isomorphism
1
curry
1
howard
1
isomorphism
1
proof
1
proves
1
proofs
1