Pinned Repositories
miking
Miking - the meta viking: a meta-language system for creating embedded languages
hmm-nvrtc
miking
Miking - the meta viking: a meta-language system for creating embedded languages
miking-dppl
miking-ml
Machine Learning in Miking!
ProbTime
rtppl-experiments
trellis-dsl
The Trellis DSL for handling Hierarchical hidden Markov models
miking-dppl
miking
Miking - the meta viking: a meta-language system for creating embedded languages
larshum's Repositories
larshum/trellis-dsl
The Trellis DSL for handling Hierarchical hidden Markov models
larshum/miking
Miking - the meta viking: a meta-language system for creating embedded languages
larshum/miking-dppl
larshum/ProbTime
larshum/miking-ml
Machine Learning in Miking!
larshum/rtppl-experiments
larshum/hmm-nvrtc