diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 42 |
1 files changed, 30 insertions, 12 deletions
@@ -1,16 +1,34 @@ -`` - _ _ _ _ _ _ - _ __ ___ ___ __| | ___| | |_| |__ (_)_ __ __ _| | - | '_ ` _ \ / _ \ / _` |/ _ \ | __| '_ \| | '_ \ / _` | | - | | | | | | (_) | (_| | __/ | |_| | | | | | | | (_| |_| - |_| |_| |_|\___/ \__,_|\___|_|\__|_| |_|_|_| |_|\__, (_) - |___/ + + + _ _ _ _ _ _ + _ __ ___ ___ __| | ___| | |_| |__ (_)_ __ __ _| | + | '_ ` _ \ / _ \ / _` |/ _ \ | __| '_ \| | '_ \ / _` | | + | | | | | | (_) | (_| | __/ | |_| | | | | | | | (_| |_| + |_| |_| |_|\___/ \__,_|\___|_|\__|_| |_|_|_| |_|\__, (_) + |___/ an experimental systems-modeling-wiki-thing -`` -Parser Refs: -http://notes.willcrichton.net/parsing-strategies-in-rust/ -http://smallcultfollowing.com/babysteps/blog/2015/09/14/lalrpop/ -https://github.com/nikomatsakis/lalrpop/ + +`modelthing` is a set of software tools for collaboratively editing +symbolic models of real world systems. + +*What kind of real world systems?* any system that can be described by +algebraic differential equations. Examples: a double pendulum, population +dynamics in ecology, Moore's Law of increasing transistor density, the light +emited by an LED as a factor of current and voltage, real estate prices as a +factor of rent control, etc. + +*What kind of symbolic models?* models which both hold semantic meaning and can +be computed. machines should be able to translate the models between different +symbolic, graphical, and interactive mediums, and both humans and machines +should be able reason with and judge the appropriateness of the models. + +*What kind of collaborative editing?* aspirationally, rational discourse +between strangers on the internet who come to progressively more accurate +consensus. The models should be re-usable by hierarchal reference, with +automated tooling to cross-check for compatibility. + +*Does it work?* there's no "here" here, yet, just some sketches and +experiments. |