• Stars
    star
    1
  • Language
    Scala
  • Created about 8 years ago
  • Updated 5 months ago

Reviews

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

Repository Details

Tiny example language that uses Scala in its implementation

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

oopsla18-artifact

Forth
2
star
13

metaborg-python

Java
2
star
14

spoofax-csharp

Spoofax editor for C#
Java
2
star
15

metaborg-go

Go
1
star
16

metaborg-r5rs

1
star
17

data-dependent-contextual-grammars

Java
1
star
18

metaborg-ql

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

mophasco-artifact

Haskell
1
star
20

metaborg-lbnf

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

metaborg-tiger

Java
1
star
22

metaborg-scheme

Scheme
1
star
23

metaborg-lmr

Makefile
1
star
24

metaborg-mini-csharp

Mini C#
Java
1
star
25

metaborg-c

Spoofax editor for C
Shell
1
star
26

metaborg-lambdaJS

Java
1
star
27

ScribbleX

Idris
1
star
28

metaborg-ruby

Ruby
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