DynSem

DynSem is a DSL for declarative specification of dynamic semantics of languages. Read about using DynSem in the DynSem documentation.

Name		Name	Last commit message	Last commit date
Latest commit History 2,594 Commits
dynsem.eclipse		dynsem.eclipse
dynsem.metainterpreter		dynsem.metainterpreter
dynsem		dynsem
dynsem2coq.eclipse		dynsem2coq.eclipse
dynsem2coq		dynsem2coq
metaborg-sl @ 833ec61		metaborg-sl @ 833ec61
org.metaborg.meta.interpreter.framework		org.metaborg.meta.interpreter.framework
org.metaborg.meta.lang.dynsem.interpreter		org.metaborg.meta.lang.dynsem.interpreter
.gitmodules		.gitmodules
.travis.yml		.travis.yml
Jenkinsfile		Jenkinsfile
LICENSE		LICENSE
NOTICE		NOTICE
readme.md		readme.md
travis-build.sh		travis-build.sh

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

dynsem.eclipse

dynsem.eclipse

dynsem.metainterpreter

dynsem.metainterpreter

dynsem

dynsem

dynsem2coq.eclipse

dynsem2coq.eclipse

dynsem2coq

dynsem2coq

metaborg-sl @ 833ec61

metaborg-sl @ 833ec61

org.metaborg.meta.interpreter.framework

org.metaborg.meta.interpreter.framework

org.metaborg.meta.lang.dynsem.interpreter

org.metaborg.meta.lang.dynsem.interpreter

.gitmodules

.gitmodules

.travis.yml

.travis.yml

Jenkinsfile

Jenkinsfile

LICENSE

LICENSE

NOTICE

NOTICE

readme.md

readme.md

travis-build.sh

travis-build.sh

Repository files navigation

DynSem

About

Releases

Packages

Contributors 11

Languages

License

metaborg/dynsem

Folders and files

Latest commit

History

Repository files navigation

DynSem

About

Resources

License

Stars

Watchers

Forks

Languages