Decoding Leibniz Notation (2024)(spakhm.com)

37 points by coffeemug 11 months ago | 7 comments

Lemma for the Fundamental Theorem of Galois Theory(susam.net)

126 points by susam 1 year ago | 33 comments

Borgo Programming Language(borgo-lang.github.io)

334 points by MrBuddyCasino 1 year ago | 159 comments

Interactive intro and playground for Borgo, a new statically typed programming language with Rust-like features that compiles to Go.

Lindenmayer.jl: Defining recursive patterns in Julia(cormullion.github.io)

59 points by WillMorr 8 months ago | 3 comments

Designing Tools for Scientific Thought(forester-notes.org)

58 points by harperlee 1 year ago | 6 comments

Nota is a language for writing documents, like academic papers and blog posts(nota-lang.org)

524 points by napsternxg 3 years ago | 195 comments

Homepage of Nota, a language for writing structured documents like academic papers and blog posts, with a live editable code example and rendered output.