MetaBorgCube/spoofax-jasmin

Stars
6
Rank 2,539,965 (Top 51 %)
Language Jasmin
Created almost 12 years ago
Updated about 4 years ago

MetaBorgCube/spoofax-jasmin

MetaBorgCube

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

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

declare-your-language

a book about declarative language definition

IceDust

A language for data modeling and incremental computing of derived values

From-Definitional-Interpreter-To-Symbolic-Executor

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

statix-sandbox

Experiments with the Statix meta-language

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