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:
- Automaton & Cognition☆16Apr 14, 2024Updated last year
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- 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
- Cloud Haskell Demonstration☆18Sep 5, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Gazelle is a Javascripty Lisp for Javascript.☆69Aug 24, 2013Updated 12 years ago
- A package for managing a static, mathematically-inclined web log☆27Oct 3, 2015Updated 10 years ago
- The semantics of Python in K☆21Aug 20, 2013Updated 12 years ago
- Code for a tutorial on parsing with Menhir☆14Aug 25, 2021Updated 4 years ago
- C# (.net) Stomp Client.☆19May 22, 2014Updated 11 years ago
- Automatic C bindings for Lua, using alien and ctypesgen-json☆16Mar 19, 2020Updated 6 years ago
- Akka.Js DOM framework☆12Jul 17, 2018Updated 7 years ago
- Native value formatters for RedisDesktopManager☆10Jul 4, 2019Updated 6 years ago
- Ferop is a .NET library that allows inline C/C++ to compile and run on Windows/Linux/OSX. (beta, not production ready)☆34Dec 6, 2019Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Message-oriented Middleware for Haskell☆23Dec 27, 2020Updated 5 years ago
- 分享自使用Aegisub制作字幕以来所有的字幕文件☆10Feb 5, 2025Updated last year
- LPEG-based Lua macros☆14Apr 19, 2011Updated 14 years ago
- For my first Paged Out! article☆15Aug 11, 2019Updated 6 years ago
- Formalization of Homotopy Type Theory for use in my Youtube videos☆17May 28, 2024Updated last year
- A chrome extension to highlight trans erasure☆13Feb 14, 2025Updated last year
- DevTools Core Protocol specification☆10Apr 14, 2017Updated 8 years ago
- Parser Combinator of java☆11Oct 13, 2024Updated last year
- A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust☆16Dec 7, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Poetic Edda in Old Norse with English translation by H. A. Bellows☆13Feb 12, 2015Updated 11 years ago
- Fork of react-basic-starter using Package sets☆24May 22, 2019Updated 6 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- An implementation of Lua for the Rubinius VM.☆30Jul 20, 2011Updated 14 years ago
- Leader key for Awesome WM☆17Feb 8, 2021Updated 5 years ago
- PEG library for the Go language☆68Nov 14, 2016Updated 9 years ago
- This repo will have a custom elasticsearch plugin which allows to do aggregation on stored binary representations of hyperloglogplus data…☆13Apr 2, 2018Updated 7 years ago
- FLPR: The Fortran Language Program Remodeling system☆19Jun 11, 2020Updated 5 years ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ODBC driver for HDBC☆26Dec 5, 2024Updated last year
- The bootstrapping PEG parser☆10Feb 18, 2024Updated 2 years ago
- A simple adventure game based off the popular Open Adventure game system.☆15Nov 21, 2018Updated 7 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- ☆43Jul 23, 2015Updated 10 years ago
- FreeBSD src tree☆15Feb 6, 2026Updated last month