MetaBorgCube/metaborg-scheme MetaBorgCube/metaborg-scheme

  • Stars
    star
    1
  • Language
    Scheme
  • Created over 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MetaBorgCube/metaborg-scheme
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

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-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