https://github.com/joshrule/list-routine-learning-rs

Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.
https://github.com/joshrule/list-routine-learning-rs

List: list-routine-learning-rs

hindley-milner learning lists program-induction rust science simulation term-rewriting

Last synced: 3 months ago
JSON representation

Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.

• Host: GitHub
• URL: https://github.com/joshrule/list-routine-learning-rs
• Owner: joshrule
• License: mit
• Created: 2018-06-18T15:29:16.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-06-17T01:35:51.000Z (over 2 years ago)
• Last Synced: 2024-05-22T11:11:52.867Z (6 months ago)
• Topics: hindley-milner, learning, lists, program-induction, rust, science, simulation, term-rewriting
• Language: Rust
• Size: 7.31 MB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - list-routine-learning-rs - to learn typed first-order term rewriting systems that perform list routines. (Unclassified / Libraries)

README

        
# [list-routine-learning-rs][0]

[![Travis-CI.org](https://img.shields.io/travis/joshrule/list-routine-learning-rs.svg?maxAge=3600)](https://travis-ci.org/joshrule/list-routine-learning-rs)

[![Codecov](https://img.shields.io/codecov/c/github/joshrule/list-routine-learning-rs.svg?maxAge=3600)](https://codecov.io/gh/joshrule/list-routine-learning-rs)

[Rust][1] simulations using input/output examples to learn [typed][2] first-order [term rewriting systems][3] that perform list routines.

[0]: https://github.com/joshrule/term-rewriting-rs

     "list-routine-learning-rs"

[1]: https://www.rust-lang.org

     "The Rust Programming Language"

[2]: https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system

     "Wikipedia - Hindley-Milner Type System"

[3]: https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems

     "Wikipedia - Term Rewriting Systems"