Skip to content
This repository was archived by the owner on Apr 9, 2025. It is now read-only.
/ mod2lib Public archive

A RIIR for Maude's state-of-the-art pattern matching algorithms

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Notifications You must be signed in to change notification settings

rljacobson/mod2lib

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

‼️This library has been folded into mod2 where development is ongoing.‼️

mod2lib: A pattern matching and term rewriting library

The mod2lib library builds on lessons learned in writing Mod and mod2 to bring advanced pattern matching algorithms to Rust.

It is a work in progress and is not yet functional. For a more complete work, check out Loris.

Examples

In the examples directory you will find examples of how to use this library. The examples/wl_example example implements a little language similar to Wolfram Language called WL.

Authorship and License

Copyright © 2024 Robert Jacobson. This software is distributed under the MIT license or Apache 2.0 license at your preference.

This work contains code adapted with improvements from rccell (GitHub), which is Copyright © 2021 Román Cárdenas and distributed under the MIT License.

About

A RIIR for Maude's state-of-the-art pattern matching algorithms

Resources

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published