https://github.com/mmottl/aifad

AIFAD - Automated Induction of Functions over Algebraic Data Types
https://github.com/mmottl/aifad

algebraic-data-types decision-trees machine-learning ocaml

Last synced: 3 months ago
JSON representation

AIFAD - Automated Induction of Functions over Algebraic Data Types

• Host: GitHub
• URL: https://github.com/mmottl/aifad
• Owner: mmottl
• License: other
• Created: 2014-07-01T21:46:20.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2022-03-29T20:00:57.000Z (almost 3 years ago)
• Last Synced: 2023-03-30T05:00:11.702Z (almost 2 years ago)
• Topics: algebraic-data-types, decision-trees, machine-learning, ocaml
• Language: OCaml
• Homepage:
• Size: 365 KB
• Stars: 30
• Watchers: 9
• Forks: 2
• Open Issues: 1

Awesome Lists containing this project