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☆49Dec 3, 2021Updated 4 years ago
- C Language Analysis in Rascal☆27Mar 3, 2026Updated 6 months ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆20Aug 13, 2026Updated 3 weeks ago
- ☆71Jun 12, 2020Updated 6 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The Stratego program transformation language☆36Jun 18, 2026Updated 2 months ago
- 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
- For FFL Blog☆10Sep 24, 2015Updated 10 years ago
- The semantics of Python in K☆22Aug 20, 2013Updated 13 years ago
- Extracts TypeScript types from GraphQL string literals☆13Mar 25, 2022Updated 4 years ago
- An efficient, embeddable DPLL SAT solver in Haskell☆36Apr 25, 2026Updated 4 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Formalization of Homotopy Type Theory for use in my Youtube videos☆17May 28, 2024Updated 2 years ago
- Poetic Edda in Old Norse with English translation by H. A. Bellows☆13Feb 12, 2015Updated 11 years ago
- A tool to help build chains of dependent nugets across many solutions☆11Apr 2, 2015Updated 11 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- The Universal Turing Machine implemented in NXC, which runs on the LEGO device we made: http://www.legoturingmachine.org☆32Jul 31, 2012Updated 14 years ago
- C++ neural network library☆13Jul 2, 2016Updated 10 years ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 6 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
- 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.
- ODBC driver for HDBC☆26Dec 5, 2024Updated last year
- A toolkit for building multi-result supercompilers☆33Oct 23, 2021Updated 4 years ago
- A simple adventure game based off the popular Open Adventure game system.☆14Nov 21, 2018Updated 7 years ago
- a window into your stuck process☆18May 4, 2015Updated 11 years ago
- FreeBSD src tree☆15Apr 16, 2026Updated 4 months ago
- A package for managing a static, mathematically-inclined web log☆27Oct 3, 2015Updated 10 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated 2 years ago
- A recursive ascent/descent parser generator for Scala☆36Nov 16, 2022Updated 3 years ago
- Vector graphic servers☆20Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 11 years ago
- Automatic C bindings for Lua, using alien and ctypesgen-json☆19Mar 19, 2020Updated 6 years ago
- Concatenative relational interpreter in miniKanren☆22May 11, 2015Updated 11 years ago
- Embeddable reader and printer for Clojure forms☆19Sep 7, 2012Updated 14 years ago