The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. It contains the implementation of SDF2 and ASF+SDF.
☆16Nov 15, 2012Updated 13 years ago
Alternatives and similar repositories for meta-environment
Users that are interested in meta-environment are comparing it to the libraries listed below
Sorting:
- The semantics of Python in K☆21Aug 20, 2013Updated 12 years ago
- Software Language Processing Suite☆47Dec 3, 2021Updated 4 years ago
- Statically checked Data Science programs.☆18Updated this week
- XML deserializer/serializer for TypeScript classes with decorators☆11Sep 29, 2023Updated 2 years ago
- kdb Visual Studio Code extension☆22Feb 20, 2026Updated 2 weeks ago
- Web implementation of the AutoAquaponics graphical interface and system control☆10Feb 26, 2026Updated last week
- Model Driven Engineering for C++ (MDE4CPP)☆13Feb 18, 2026Updated 2 weeks ago
- NU AutoAquaponics system code☆13Nov 2, 2025Updated 4 months ago
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- Python wrapper for the Soil-Leaf-Canopy (SLC) radiative transfer model☆12Nov 6, 2019Updated 6 years ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 9 months ago
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 5 years ago
- An open-source logical data modeler to support the model driven data engineering approach.☆15Feb 25, 2026Updated last week
- ☆11Nov 12, 2017Updated 8 years ago
- Formal semantics of LLVM IR in K☆47Jun 13, 2018Updated 7 years ago
- Brew a graph of your client-side codebase using Madge & Neo4j☆11Feb 24, 2022Updated 4 years ago
- ☆11Aug 26, 2024Updated last year
- Build languages on Python.☆12May 2, 2021Updated 4 years ago
- Astronomical Data Query Language Standard☆10Nov 28, 2024Updated last year
- Jest utilities for RDF(JS)☆11Feb 12, 2026Updated 3 weeks ago
- the yargs.js.org website.☆14Apr 11, 2025Updated 10 months ago
- An LLM-based LS implementation that makes use of tree-sitter context to perform code actions☆16Sep 6, 2024Updated last year
- An exploration of a new lisp dialect and the use of it to build an OS on the Beaglebone black.☆10Nov 24, 2015Updated 10 years ago
- Moved to Codeberg, this repo is just a (temporary) mirror -- Yet a PreProcessor☆14Feb 26, 2026Updated last week
- ☆12Jan 1, 2026Updated 2 months ago
- Solver in the low-rank tensor train format with cross approximation approach for the multidimensional Fokker-Planck equation☆14Oct 24, 2023Updated 2 years ago
- Deep learning with Caffe on phones, with OpenCL support for CPU and GPU devices.☆10Mar 11, 2016Updated 9 years ago
- A node.js client library for the eXist-db Native XML Database.☆15Feb 19, 2019Updated 7 years ago
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- Standalone FFI library for calling C functions from lua. Compatible with the luajit FFI interface.☆11Jan 13, 2026Updated last month
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Feb 11, 2026Updated 3 weeks ago
- Easy setup and control of your bpmn.ai data flow☆15Jan 7, 2023Updated 3 years ago
- 驾校在线考试模拟系统桌面端。科目一、科目四支持语音播报、错题解答等功能，技术栈：一次开发多端适配，web端，可生成desktop安装包，主要使用lectron-builder+vue全家桶以及element-ui☆14Aug 5, 2020Updated 5 years ago
- OCL TermBrowser v2☆13Feb 12, 2026Updated 3 weeks ago
- Gazelle is a Javascripty Lisp for Javascript.☆69Aug 24, 2013Updated 12 years ago
- Subway Preprocessor and Validator☆15Dec 24, 2025Updated 2 months ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- the actual epiphany backend☆20May 18, 2013Updated 12 years ago
- OMG Decision Model and Notation specification☆12Feb 17, 2026Updated 2 weeks ago