Explore @MetaBorgCube Open Source projects

@MetaBorgCube

MetaBorgCube

Stars
90
Global Org. Rank 60,791 (Top 20 %)
Registered over 10 years ago
Most used languages

Java
32.3 %

JavaScript
6.5 %

TeX
6.5 %

Scala
6.5 %

Agda 6.5 %

Scheme
3.2 %

Lua
3.2 %

Makefile 3.2 %

Forth 3.2 %

Ruby
3.2 %

Pascal 3.2 %

Idris 3.2 %

Go
3.2 %

Jasmin 3.2 %

Shell
3.2 %

AMPL 3.2 %

C
3.2 %

Haskell
3.2 %

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

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