Pinned Repositories
dlunde.github.io
jdk
JDK main-line development https://openjdk.org/projects/jdk
jdk21u
https://openjdk.org/projects/jdk-updates
jdk22u
https://openjdk.org/projects/jdk-updates
jdk23u
https://openjdk.org/projects/jdk-updates
kth-beamer
A (very) simple beamer theme for KTH presentations
kth-poster
A KTH poster template based on beamerposter
miking
Miking - the meta viking: a meta-language system for creating embedded languages
miking-benchmarks
The general Miking benchmark suite
miking-dppl
dlunde's Repositories
dlunde/kth-poster
A KTH poster template based on beamerposter
dlunde/kth-beamer
A (very) simple beamer theme for KTH presentations
dlunde/dlunde.github.io
dlunde/jdk
JDK main-line development https://openjdk.org/projects/jdk
dlunde/jdk21u
https://openjdk.org/projects/jdk-updates
dlunde/jdk22u
https://openjdk.org/projects/jdk-updates
dlunde/jdk23u
https://openjdk.org/projects/jdk-updates
dlunde/miking
Miking - the meta viking: a meta-language system for creating embedded languages
dlunde/miking-benchmarks
The general Miking benchmark suite
dlunde/miking-dppl
dlunde/miking-lang.github.io
miking.org website
dlunde/miking-vim
Support for Miking in the superior editor Vim
dlunde/smc-example
dlunde/treeppl
dlunde/treeppl.github.io
treeppl.org website