MetaBorgCube/From-Definitional-Interpreter-To-Symbolic-Executor

Stars
6
Rank 2,539,965 (Top 51 %)
Language
TeX
Created over 5 years ago
Updated about 5 years ago

MetaBorgCube/From-Definitional-Interpreter-To-Symbolic-Executor

MetaBorgCube

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A literate Haskell exploration of how to derive symbolic executors from definitional interpreters

declare-your-language

a book about declarative language definition

IceDust

A language for data modeling and incremental computing of derived values

statix-sandbox

Experiments with the Statix meta-language

spoofax-jasmin

Eclipse editor for JasminXT, an assembler for the Java Virtual Machine.

metaborg-state-machine

State machine language based on Tratt's "Evolving a DSL implementation" paper

scala.mstx

Ministatix specification of (mini)Scala name resolution

spoofax-lua

Lua syntax and pretty printer for Spoofax

metaborg-pascal

spoofax-enfun

Spoofax editor project for a small entity language with functions.

metaborg-calc

a minimal Spoofax example project

oopsla18-artifact

metaborg-python

spoofax-csharp

Spoofax editor for C#

metaborg-go

metaborg-r5rs

data-dependent-contextual-grammars

metaborg-ql

QL and QLS languages implemented in Spoofax, for LWC 2013 and 2014

mophasco-artifact

metaborg-lbnf

An implementation in Spoofax of the LBNF grammar formalism

metaborg-tiger

metaborg-scheme

metaborg-lmr

metaborg-mini-csharp

metaborg-c

Spoofax editor for C

metaborg-lambdaJS

ScribbleX

metaborg-ruby

metaborg-entity-scala

Tiny example language that uses Scala in its implementation

metaborg-exemplars

Language implementation exemplars for the Spoofax language workbench

brp-agda-refactoring-mjozwik

Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.

brp-agda-refactoring-jpadillacancio

Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.

simpl