MetaBorgCube/oopsla18-artifact MetaBorgCube/oopsla18-artifact

  • Stars
    star
    2
  • Language Forth
  • License
    Creative Commons ...
  • Created over 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MetaBorgCube/oopsla18-artifact
github

MetaBorgCube

Reviews

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

Repository Details

More Repositories

1

declare-your-language

a book about declarative language definition
TeX
22
star
2

IceDust

A language for data modeling and incremental computing of derived values
JavaScript
11
star
3

From-Definitional-Interpreter-To-Symbolic-Executor

A literate Haskell exploration of how to derive symbolic executors from definitional interpreters
TeX
6
star
4

statix-sandbox

Experiments with the Statix meta-language
AMPL
6
star
5

spoofax-jasmin

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

metaborg-state-machine

State machine language based on Tratt's "Evolving a DSL implementation" paper
Java
3
star
7

scala.mstx

Ministatix specification of (mini)Scala name resolution
Scala
3
star
8

spoofax-lua

Lua syntax and pretty printer for Spoofax
Lua
2
star
9

metaborg-pascal

Pascal
2
star
10

spoofax-enfun

Spoofax editor project for a small entity language with functions.
Java
2
star
11

metaborg-calc

a minimal Spoofax example project
Java
2
star
12

metaborg-python

Java
2
star
13

spoofax-csharp

Spoofax editor for C#
Java
2
star
14

metaborg-go

Go
1
star
15

metaborg-r5rs

1
star
16

data-dependent-contextual-grammars

Java
1
star
17

metaborg-ql

QL and QLS languages implemented in Spoofax, for LWC 2013 and 2014
JavaScript
1
star
18

mophasco-artifact

Haskell
1
star
19

metaborg-lbnf

An implementation in Spoofax of the LBNF grammar formalism
C
1
star
20

metaborg-tiger

Java
1
star
21

metaborg-scheme

Scheme
1
star
22

metaborg-lmr

Makefile
1
star
23

metaborg-mini-csharp

Mini C#
Java
1
star
24

metaborg-c

Spoofax editor for C
Shell
1
star
25

metaborg-lambdaJS

Java
1
star
26

ScribbleX

Idris
1
star
27

metaborg-ruby

Ruby
1
star
28

metaborg-entity-scala

Tiny example language that uses Scala in its implementation
Scala
1
star
29

metaborg-exemplars

Language implementation exemplars for the Spoofax language workbench
1
star
30

brp-agda-refactoring-mjozwik

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

brp-agda-refactoring-jpadillacancio

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

simpl

SIMPL language
Java
1
star