TypePal is a framework for name analysis, type checking and type inference
-
Updated
Jun 9, 2024 - Rascal
TypePal is a framework for name analysis, type checking and type inference
Python-based domain-specific language for computational magnetism.
Design, conduct and analyze results of AI-powered surveys and experiments. Simulate social science and market research with large numbers of AI agents and LLMs.
Create beautiful diagrams just by typing notation in plain text.
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Interpreter of Swarm
DSL and utilities for vector mathematics in Common Lisp
Next-gen language engineering / DSL framework
UFL - Unified Form Language
Jayvee is a domain-specific language and runtime for automated processing of data pipelines
New take on the old state machine. Using a simple scripting language, users can setup conditionals for when to leave a state
An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.
Write Web API cleints using annotations in python
Tool for conducting systematic literature reviews and mapping studies
mid is a generic domain-specific language for generating code and documentation
Parity's ink! to write smart contracts.
Criteria4s is a simple domain-specific language (DSL) to define criteria and predicate expressions for any data stores by using Scala type class mechanisms in a type-safe way. It pretends to be agnostic to any data store, and it is extensible to support any kind of data stores.
A general interface for symbolic indexing of SciML objects used in conjunction with Domain-Specific Languages
Add a description, image, and links to the domain-specific-language topic page so that developers can more easily learn about it.
To associate your repository with the domain-specific-language topic, visit your repo's landing page and select "manage topics."