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.
☆17Nov 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Software Language Processing Suite☆48Dec 3, 2021Updated 4 years ago
- C Language Analysis in Rascal☆27Mar 3, 2026Updated 4 months ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆20May 17, 2026Updated 2 months ago
- Domain-specific language for mobile (web) applications☆16May 12, 2010Updated 16 years ago
- ☆71Jun 12, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Groovy Cobol Transpiler, Runtime environment and API☆18Nov 21, 2024Updated last year
- The Stratego program transformation language☆36Jun 18, 2026Updated last month
- Eclipse IMP based IDE for the Rascal meta-programming language. See rascal project for Wiki, Issues and such.☆18Jan 15, 2025Updated 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
- An efficient, embeddable DPLL SAT solver in Haskell☆37Apr 25, 2026Updated 3 months ago
- ☆15Feb 10, 2016Updated 10 years ago
- A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust☆16Dec 7, 2015Updated 10 years ago
- LPEG-based Lua macros☆14Apr 19, 2011Updated 15 years ago
- Poetic Edda in Old Norse with English translation by H. A. Bellows☆13Feb 12, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Leader key for Awesome WM☆17Feb 8, 2021Updated 5 years ago
- The Universal Turing Machine implemented in NXC, which runs on the LEGO device we made: http://www.legoturingmachine.org☆32Jul 31, 2012Updated 13 years ago
- [Work in progress] Sometimes things go wrong. We understand.☆14May 25, 2016Updated 10 years ago
- S-Expression evaluation library for Clojure and ClojureScript☆17Oct 9, 2020Updated 5 years ago
- A toolkit for building multi-result supercompilers☆33Oct 23, 2021Updated 4 years ago
- a window into your stuck process☆18May 4, 2015Updated 11 years ago
- FreeBSD src tree☆15Apr 16, 2026Updated 3 months ago
- A Visual Studio Code extension for visualization of code/model written in a DSL created using textX.☆12Jul 8, 2018Updated 8 years ago
- ☆16Jun 22, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Lightweight approach to embed new languages into a host language☆12Mar 10, 2017Updated 9 years ago
- A .NET framework for composing, evaluating, inspecting and persisting computational experiments which are represented as a dataflow.☆21Nov 28, 2022Updated 3 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- Vector graphic servers☆20Updated this week
- A recursive ascent/descent parser generator for Scala☆36Nov 16, 2022Updated 3 years ago
- Formal semantics of LLVM IR in K☆51Jun 13, 2018Updated 8 years ago
- A parser for MATLAB language☆12Apr 15, 2025Updated last year
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Formalization of Opetopes and Opetopic Sets in Agda☆18Dec 15, 2016Updated 9 years ago
- Automatic C bindings for Lua, using alien and ctypesgen-json☆19Mar 19, 2020Updated 6 years ago
- Embeddable reader and printer for Clojure forms☆18Sep 7, 2012Updated 13 years ago
- Sandboxed code execution for LLMs, powered by Nix☆16Updated this week
- The PGG Partial Evaluation System for Scheme 48☆18Dec 31, 2012Updated 13 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago