NURL – A programming language designed for language models
Prefix notation language that cuts LLM token usage by 70% compared to Python or C.

I built Margarita to allow for markdown and logical operators to exist together, which means you can bring in determinism through code structures when it makes sense, and fall back to llm dynamic code when that makes sense. As an added bonus allows for composable prompts ala React which solve my other gripe with skills libraries being a mash of text everywhere.
Overall I've been getting pretty luke warm responses from Reddit, so I'll probably just shelve it, but it was a blast to make. Got to build code agents for pretty much every llm provider and built my own harness. I would recommend doing that it's a great learning experience.
https://www.margarita.run https://github.com/Banyango/margarita
Prefix notation language that cuts LLM token usage by 70% compared to Python or C.
Italian syntax is charming but limits audience to Italian speakers specifically.
GitHub repo is Microsoft's Z3 theorem prover, not the claimed Sigil language.
Security-by-construction language for AI agents with Z3 contract verification.
The README actually lays down concrete design choices: four cell types (Transformer, Reactor, Keeper, Channel), a Universal Contract with Intent Ledgers, and Merkle-based signatures plus a constitutional validator. Interesting on paper, but the repo looks embryonic — the quickstart is truncated, there are no releases or demos, and the bold architectural claims outpace the visible implementation.
Native Quick Look extension for 50+ languages, works in Finder and ForkLift.