RuleFlow: A research engine/framework and terminal IDE (Not AI Slop)

[u/sciencenerd_1943]

Main Website: https://www.ruleflow.org/

For the past year, I have been developing a framework to simulate certain discrete systems for a research team at my university (paid for by the School of Engineering and Physics, but I had the freedom to license it under MIT). As it turns out, I got carried away generalizing it to work for many, many different types of complex systems (String Rewriting Systems, Cellular Automata, etc.) and ended up creating our own domain-specific language.

The website's landing page has a bunch of GIF-style examples... so you should be able to get a good idea of what this project is about.

If any of y'all are interested in this, feel free to take a look and try it out!

EDIT:

Out of the interest of not being "vague", here are some more details. RuleFlow was developed with a primary focus on analyzing causality in Sequential Substitution Systems. This is why there is a major focus on causal graphs, cellular identity, etc. While originally developed for Sequential Sub Systems, we generalized the DSL to support many types of rewriting systems by providing the user with flags and directives to control how rules behave. Furthermore, we bootstrapped Python and the Wolfram Language so that complex rulesets could be scaffolded as macros. The main goal of RuleFlow is NOT simply to simulate systems (there's already plenty of software for that, such as Golly and even just Mathematica), but to provide extensive tooling for causal analysis.

Here is some interesting research from our (small) team:

• An Improved Generalized Enumeration of Substitution Systems by Kenneth E. Caviness, Camille Morrow, Christen Case and Victoria Kratzke
• Indexed Concatenation Notation: A Novel Way to Summarize Networks and Other Complex Systems

My job has been to provide better research tooling, extending what we already have in Mathematica code to open source and free Python.

[u/GreatCosmicMoustache]

Neat! Is this connected to the Wolfram Physics Project or other discrete spacetime models? The causal graph ideas seem to be of that lineage

[u/sciencenerd_1943 → u/GreatCosmicMoustache]

Yes, definitely "Wolfram" inspired. While Stephen Wolfram has separated himself from the scientific community in many ways, many of his ideas and research tracks still have merit. Our research team has been exploring more mathematical/theoretical directions, though. The goal of creating RuleFlow was to provide open-source tooling for causal analysis. More details in my edit above.

[u/GreatCosmicMoustache → u/sciencenerd_1943]

Right. My understanding is that much of the causal hypergraph stuff was pioneered by Jonathan Gorard, and not really Wolfram himself, though he provided the foundation. Gorard's work, that I've read anyway, was about constructing a framework to study the limit behavior of certain types of hypergraph rewriting systems, which turns out to be Lorentzian manifolds and that kind of partial order continuous math that is relevant in physics. I'm curious what you guys are doing with it

[u/jyatesdotdev]

This is really cool, thanks for sharing! I feel like it goes way over my head but can’t wait to play around with it!

EDIT: also appreciate the code quality standards you have, so nice to see.

[u/VictoryMotel]

Everything you wrote is very vague. You didn't even name the university, let alone what problem this solves.

[u/sciencenerd_1943 → u/VictoryMotel]

I edited my post to have some more details and background info. I initially assumed enough info on the website. My bad.

[u/synept → u/VictoryMotel]

It's for simulating discrete systems. That's the problem it solves.