david-broman

David Broman is a full professor at the KTH Royal Institute of Technology in Sweden.

KTH Royal Institute of TechnologyStockholm, Sweden

Pinned Repositories

ci-hackathon
Art for continuous integration.
Language:JavaScript0 1 00
cyphym
CyPhym: a Language for Cyber-Physical Modeling
Language:Cycript0 1 00
etch
Language:Lean0 0 00
flexpret
Language:C1 2 00
javascriptish
A small and simple language designed for teaching.
Language:OCaml0 2 00
kta
KTH's Timing Analyzer
Language:C0 2 00
ktc
KTH's Timed C compiler
Language:C0 2 00
modelyze
Modelyze: A host language for modeling and analysis of cyber-physical systems
Language:OCaml14 6 07
ocaml-examples
Various small examples that may be useful if you are learning OCaml
Language:OCaml4 2 01
ucamlib
Library with various OCaml utility functions
Language:OCaml4 2 00

david-broman's Repositories

david-broman/modelyze
Modelyze: A host language for modeling and analysis of cyber-physical systems
Language:OCaml14 6 07
david-broman/ocaml-examples
Various small examples that may be useful if you are learning OCaml
Language:OCaml4 2 01
david-broman/ucamlib
Library with various OCaml utility functions
Language:OCaml4 2 00
david-broman/flexpret
Language:C1 2 00
david-broman/ci-hackathon
Art for continuous integration.
Language:JavaScript0 1 00
david-broman/cyphym
CyPhym: a Language for Cyber-Physical Modeling
Language:Cycript0 1 00
david-broman/etch
Language:Lean0 0 00
david-broman/javascriptish
A small and simple language designed for teaching.
Language:OCaml0 2 00
david-broman/kta
KTH's Timing Analyzer
Language:C0 2 00
david-broman/ktc
KTH's Timed C compiler
Language:C0 2 00
david-broman/majorsys
A simple script for generating word for numbers according to the major system.
Language:Python0 2 00
david-broman/miking
Miking - the meta viking: a meta-language system for creating embedded languages
Language:Monkey C0 0 00
david-broman/miking-benchmarks
The general Miking benchmark suite
Language:Cuda0 1 00
david-broman/matching-substrings
A short reference implementation of the algorithm for quick matching of substrings
Language:Python
david-broman/miking-dppl
Language:Monkey C1 0
david-broman/miking-ipm
The Miking Interactive Programmatic Modeling Environment
Language:JavaScript1 0
david-broman/miking-lang.github.io
miking.org website
Language:JavaScript1 0
david-broman/PPL-CUDA-SMC
Language:Cuda1 0
david-broman/pyro
Deep universal probabilistic programming with Python and PyTorch
Language:Python1 0
david-broman/trellis-dsl
The Trellis DSL for handling Hierarchical hidden Markov models
1 0
david-broman/VelvetStudio
The Tracker Velvet Studio (DOS) made by Velvet Development in 1994-1996
Language:Shell1 0