I would be very interested to see a perl6 implementation of Leibniz as it seems like perl6 has many features that would lend it to this context.

• It has a full language specification, of which there are implementations.
• It has full UTF8 compatibility so is great for handling scientific/mathematical notation non-standard symbols - (to the point where you can declare an emoji as an operator if for some reason you wanted to.)
• It has excellent native handling of rational arithmetic, which I believe allows you to simply specify a required level of numerical precision when conversion to floating point is required
• perl6 'grammars' make creating lexers/parsers much easier, so for a well-specified language like Leibniz the implementation should be relatively* straightforward.
• plus many other pretty remarkable features, such as support for parallelism / asynchrony / concurrency to my knowledge unparalleled outside of more domain-specific languages like erlang.