metalanguage

Dogma: A modernized metalanguage with better expressiveness and binary grammar support

A concise and readable metaprogramming language for C++

A solution for streaming real-time ticker updates from MetaTrader 5 over WebSockets to any server.

A language that can program itself

Metalanguage analysis

LOGOS-κ — предметно-ориентированный язык и исполнительная среда, спроектированные для работы со знаниями как с сетью взаимосвязей. LOGOS-κ служит инструментом онтологического анализа и формализации экспертных знаний, а также обеспечивает среду для симбиотического взаимодействия человека и ИИ в процессе совместного создания решений

The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope rest…

A solution for streaming real-time ticker updates from MetaTrader 5 over WebSockets to any server.

A Python implementation of the Refal language

MIRROR of https://codeberg.org/catseye/Fountain : A grammar formalism for CSLs supporting both efficient parsing and efficient generation

Formally correct DSLs

Library 📝 that allow you to describe data structures by subset of JavaScript syntax and validate them at runtime

a metalanguage for Timed and Concurrent Operational Semantics

A natural language layer on top of Budgie. 🦜

Tracery metalanguage/compiler with support for variant symbols

Efos is a system based on an ontological approach. Efos models a subject area as a semantic graph, where objects are represented by nodes and connections by edges. This architecture allows for more than just data storage; it also enables the identification of hidden patterns and decision-making based on context and semantic relationships.

Efos — интеллектуальная система, основанная на онтологическом подходе. Efos моделирует предметную область в виде семантического графа, где объекты представлены узлами, а связи между ними — рёбрами. Такая архитектура позволяет не просто хранить данные, а выявлять скрытые закономерности и принимать решения с учётом контекста и смысловых отношений

A simple programming language based on the ML programming language

🦎 An expressive series of utilities for language like types

A practical one-liner metalanguage for describing common-sense in an machine-friendly way.