MetaBorgCube

Pinned Repositories

declare-your-language
a book about declarative language definition
Language:TeX23 14 27
From-Definitional-Interpreter-To-Symbolic-Executor
A literate Haskell exploration of how to derive symbolic executors from definitional interpreters
Language:TeX6 5 00
IceDust
A language for data modeling and incremental computing of derived values
Language:JavaScript11 9 26
metaborg-grace
Language:Grace0 8 12
metaborg-pascal
Language:Pascal3 13 02
metaborg-sl
Metaborg specification of SimpleLanguage
Language:Java0 8 13
scala.mstx
Ministatix specification of (mini)Scala name resolution
Language:Scala3 7 01
simpl
SIMPL language
Language:Java1 7 01
spoofax-jasmin
Eclipse editor for JasminXT, an assembler for the Java Virtual Machine.
Language:Jasmin6 16 06
statix-sandbox
Experiments with the Statix meta-language
Language:AMPL6 11 26

MetaBorgCube's Repositories

MetaBorgCube/IceDust
A language for data modeling and incremental computing of derived values
Language:JavaScript11 9 26
MetaBorgCube/statix-sandbox
Experiments with the Statix meta-language
Language:AMPL6 11 26
MetaBorgCube/metaborg-pascal
Language:Pascal3 13 02
MetaBorgCube/metaborg-calc
a minimal Spoofax example project
Language:Java2 11 13
MetaBorgCube/mophasco-artifact
Language:Haskell2 2 0
MetaBorgCube/brp-agda-refactoring-jpadillacancio
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
Language:Agda1 4 00
MetaBorgCube/brp-agda-refactoring-mjozwik
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
Language:Agda1 5 00
MetaBorgCube/metaborg-entity-scala
Tiny example language that uses Scala in its implementation
Language:Scala1 3 0
MetaBorgCube/metaborg-mini-csharp
Mini C#
Language:Java1 4 12
MetaBorgCube/metaborg-tiger
Language:Java1 12 010
MetaBorgCube/brp-agda-refactoring-jbastenhof
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
Language:Agda0 4 01
MetaBorgCube/brp-agda-refactoring-timenzandberge
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
Language:Agda0 4 00
MetaBorgCube/function-inlining
Language:C++0 4 00
MetaBorgCube/gazebo
Gazebo: A Domain-Specific Language for Minecraft
Language:Kotlin0 10 00
MetaBorgCube/metaborg-coq
Coq editors
Language:Coq0 14 00
MetaBorgCube/metaborg-grace
Language:Grace0 8 12
MetaBorgCube/metaborg-poosl
Experimental Spoofax implementation for POOSL
Language:Java0 3 01
MetaBorgCube/metaborg-sl
Metaborg specification of SimpleLanguage
Language:Java0 8 13
MetaBorgCube/brp-agda-refactoring-khstruik
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
5 0
MetaBorgCube/IceDust-EclipseGen
repository to host Jenkinsfile
2 0
MetaBorgCube/metaborg-access-modifiers
Language to Experiment with Access Modifiers in OO languages
Language:Java2 0
MetaBorgCube/metaborg-entity
simple Entity language
Language:Java12 0
MetaBorgCube/metaborg-minizinc
A Spoofax language definition of the MiniZinc constraint modeling language
3 0
MetaBorgCube/metaborg-seclang
Prototype of a language with static security checking features
3 0
MetaBorgCube/micro-java-instances
A micro subset of Java that supports only integers, classes, instance fields and methods, member references, and method calls.
Language:Java4 0
MetaBorgCube/pcf-tutorial
Spoofax tutorial implementing Programming Computable Functions
Language:Java6 0
MetaBorgCube/scope-graph-scheduling-bsc-template
Language:Haskell1 05
MetaBorgCube/spoofax2-lang-example
Language:Java0 0
MetaBorgCube/stratego-sep-comp-benchmark
Benchmarks for the Stratego separate compiler
Language:Java2 0
MetaBorgCube/TIL
Tiny Imperative Language - https://www.program-transformation.org/Sts/TinyImperativeLanguage.html
Language:Shell4 0