Search Results for "rules"

...New packages and updates are added through pull requests, often automated via Registrator.jl, with qualifying requests merged automatically while others undergo manual review. The system also integrates with TagBot to automate tagging of package releases once registered. By maintaining clear rules for licensing and contribution, General ensures a reliable and transparent process for managing Julia’s open source package ecosystem.

...A rule-based rewriting language can be used to find subexpressions that satisfy arbitrary conditions and apply arbitrary transformations on the matches. The library also contains a set of useful simplification rules for expressions of numeric symbols and numbers. These can be remixed and extended for special purposes.

Metatheory.jl is a general purpose term rewriting, metaprogramming and algebraic computation library for the Julia programming language, designed to take advantage of the powerful reflection capabilities to bridge the gap between symbolic mathematics, abstract interpretation, equational reasoning, optimization, composable compiler transforms, and advanced homoiconic pattern matching features. The core features of Metatheory.jl are a powerful rewrite rule definition language, a vast library...